Jermolene 6f8ee52e90 Text-editor: fix placeholder colour in Chrome		2016-07-03 14:53:37 +01:00
..
engines	Text-editor: fix placeholder colour in Chrome	2016-07-03 14:53:37 +01:00
operations	Refine behaviour of heading formatting toolbar buttons	2016-05-05 07:54:32 +01:00
factory.js	Add control panel setting for disabling the new editor toolbar	2016-05-09 10:33:15 -06:00