Caleb John
59599d318c
Desktop: Adjust the codemirror code block colors for the dark theme ( #3794 )
2020-09-23 09:34:39 +01:00
Caleb John
460a07b1a3
Desktop: Fix missed highlighting when using the global search ( #3717 )
2020-09-22 13:17:51 +01:00
Laurent
056285deda
Desktop: UI update ( #3586 )
2020-09-15 14:01:07 +01:00
Caleb John
fbe966903b
Desktop: Resolves #3560 : Make codemirror the default code editor ( #3703 )
2020-09-06 16:28:23 +01:00
Caleb John
30e0d69a74
Desktop: Load Codemirror css in index.html ( #3673 )
2020-09-05 00:02:20 +01:00
Caleb John
0ae8d454ad
Focus the editor whenever the user toggles the visible panes ( #3646 )
2020-08-18 22:26:57 +01:00
Caleb John
0eedae1f62
Desktop: Fixed vim mode issue where status bar was not visible ( #3606 )
2020-08-08 10:15:01 +01:00
Caleb John
5c5cb0f781
Desktop: Implement scroll-past-end on CodeMirror editor ( #3589 )
2020-08-08 09:55:10 +01:00
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
