3536373839404142434445
if (initialState) markDirty(false); else markClean(); editor_.addUndoRedoHandler(new UndoRedoHandler() { public void onUndoRedo(UndoRedoEvent event) { if (editor_.checkCleanStateToken(cleanUndoStateToken_)) markClean();