5 Commits

Author	SHA1	Message	Date
Caleb John	452b41de0f	Desktop: Fixes #3440: Improve Markdown rendering in CodeMirror, in particular for math expressions (#3448)	2020-07-12 19:42:19 +01:00
Caleb John	262159cf73	Desktop: Codemirror: Remove cancelled keys in favour of explicit keymaps (#3417)	2020-07-02 23:00:56 +01:00
Caleb John	8eb94bc8ab	Desktop: Manually refresh codemirror whenever the window size changes (#3388) ... * Manually refresh codemirror whenever the parent div size changes * Set editor width through style rather than adding an extra property * use Memo for editorStyle	2020-07-02 22:45:43 +01:00
Laurent Cozic	e7f3aa3764	Updated British spelling	2020-06-20 12:18:41 +01:00
Caleb John	a8c8539e7a	Desktop: Add option to choose Code Mirror as code editor (#3284)	2020-06-06 16:00:20 +01:00