Caleb John
bab29cd582
Desktop: Toggle Editor rather than setting split mode on search ( #3561 )
2020-08-01 19:07:52 +01:00
Caleb John
a274a56e65
Desktop: CodeMirror: Change rootSize parameters to prevent collision with styles.editor ( #3505 )
2020-07-22 23:16:06 +01:00
Caleb John
44d3a4213f
Desktop: Enable searching in editor rather than the viewer for CodeMirror ( #3360 )
2020-07-22 23:13:23 +01:00
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
