undo/redo trigger code_mirror.change, so they will set dirty via this code.