3 Commits

Author	SHA1	Message	Date
Laurent	fe41d37f8f	All: Add support for application plugins (#3257)	2020-10-09 18:35:46 +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	a8c8539e7a	Desktop: Add option to choose Code Mirror as code editor (#3284)	2020-06-06 16:00:20 +01:00