IDEX-1154 undo/redo in jseditors