Caleb John a8c8539e7a Desktop: Add option to choose Code Mirror as code editor (#3284)		2020-06-06 16:00:20 +01:00
..
theme	Desktop: Add option to choose Code Mirror as code editor (#3284)	2020-06-06 16:00:20 +01:00
ConfigMenuBar.js	Desktop: Resolves #3137: Switch to Font Awesome as icon library	2020-05-17 15:34:42 +01:00
ExtensionBadge.js	Tools: Improve and simplify how to build the apps (#2538)	2020-02-20 22:59:18 +00:00