mathuramg afc2ef91d5 add preferences title		2016-06-20 12:45:15 -04:00
..
Editor	add active line color in Codemirror editor	2016-05-12 18:29:38 -04:00
Preferences	add preferences title	2016-06-20 12:45:15 -04:00
Preview	make toolbar accessible	2016-06-08 16:35:59 -04:00
Toolbar	add placeholders inside preferences	2016-06-17 14:31:33 -04:00