Caleb John
9dfb0642da
Desktop: Split Codemirror setOptions into different effects ( #3522 )
2020-07-22 23:18: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
282f6de1a9
Desktop: Load more CodeMirror modes for syntax highlighting ( #3401 )
2020-07-15 11:46:14 +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
Caleb John
77005fc495
Tools: Try to add codemirror types again ( #3380 )
...
* Try add codemirror type again
* Add global typedef for codemirror
* Add comment
2020-06-18 18:58:11 +01:00
Laurent Cozic
1205908233
Revert "Desktop: Change codemirror to user import syntax ( #3375 )"
...
This reverts commit 3a7a068196
2020-06-17 23:45:36 +01:00
Caleb John
3a7a068196
Desktop: Change codemirror to user import syntax ( #3375 )
2020-06-17 18:47:11 +01:00
Caleb John
23ae4fb790
Desktop: Add swapLineUp and swapLineDown keys to Code Mirror editor ( #3363 )
2020-06-16 12:59:33 +01:00
Caleb John
a8c8539e7a
Desktop: Add option to choose Code Mirror as code editor ( #3284 )
2020-06-06 16:00:20 +01:00
