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
