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