fe41d37f8f
All: Add support for application plugins ( #3257 )
2020-10-09 18:35:46 +01:00
cf2442c5b2
Desktop: Fixes #3835 : Prevent crash in rare case when opening the config screen
2020-09-29 08:40:14 +01:00
7fb52b8b0e
Desktop: Fix issue with highlighted search terms in CodeMirror viewer
2020-09-28 18:44:21 +01:00
25ab3c323b
Desktop: Fixes #3801 : Fixed editor font size
2020-09-23 11:39:36 +01:00
b6779a8074
Desktop: Fixes #3810 : Only disable relevant toolbar buttons when editor is read-only
2020-09-23 10:21:24 +01:00
59599d318c
Desktop: Adjust the codemirror code block colors for the dark theme ( #3794 )
2020-09-23 09:34:39 +01:00
460a07b1a3
Desktop: Fix missed highlighting when using the global search ( #3717 )
2020-09-22 13:17:51 +01:00
056285deda
Desktop: UI update ( #3586 )
2020-09-15 14:01:07 +01:00
fbe966903b
Desktop: Resolves #3560 : Make codemirror the default code editor ( #3703 )
2020-09-06 16:28:23 +01:00
30e0d69a74
Desktop: Load Codemirror css in index.html ( #3673 )
2020-09-05 00:02:20 +01:00
0ae8d454ad
Focus the editor whenever the user toggles the visible panes ( #3646 )
2020-08-18 22:26:57 +01:00
0eedae1f62
Desktop: Fixed vim mode issue where status bar was not visible ( #3606 )
2020-08-08 10:15:01 +01:00
5c5cb0f781
Desktop: Implement scroll-past-end on CodeMirror editor ( #3589 )
2020-08-08 09:55:10 +01:00
bab29cd582
Desktop: Toggle Editor rather than setting split mode on search ( #3561 )
2020-08-01 19:07:52 +01:00
a274a56e65
Desktop: CodeMirror: Change rootSize parameters to prevent collision with styles.editor ( #3505 )
2020-07-22 23:16:06 +01:00
44d3a4213f
Desktop: Enable searching in editor rather than the viewer for CodeMirror ( #3360 )
2020-07-22 23:13:23 +01:00
452b41de0f
Desktop: Fixes #3440 : Improve Markdown rendering in CodeMirror, in particular for math expressions ( #3448 )
2020-07-12 19:42:19 +01:00
262159cf73
Desktop: Codemirror: Remove cancelled keys in favour of explicit keymaps ( #3417 )
2020-07-02 23:00:56 +01:00
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
e7f3aa3764
Updated British spelling
2020-06-20 12:18:41 +01:00
a8c8539e7a
Desktop: Add option to choose Code Mirror as code editor ( #3284 )
2020-06-06 16:00:20 +01:00
