void (@NotNull LightweightWindowEvent event) { highlighter.dispose(); model.moveToOffset(cursorMarker.getStartOffset()); FinishMarkAction.finish(project, editor, markAction); if (!event.isOk()) { updater.undoChange(); } }