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