Jermolene 854a9a3b75 Refine behaviour of heading formatting toolbar buttons ... Previous behaviour was that the H1 button on `!!! x` gave us `!! x`		2016-05-05 07:54:32 +01:00
..
engines	Fix problem with IE11	2016-05-01 18:17:28 +01:00
operations	Refine behaviour of heading formatting toolbar buttons	2016-05-05 07:54:32 +01:00
factory.js	Remove final vestiges of undo/redo buttons	2016-05-01 13:54:16 +01:00