void (Editor editor) { StartMarkAction existingMark = editor.getUserData(START_MARK_ACTION_KEY); if (existingMark != null) { editor.putUserData(START_MARK_ACTION_KEY, null); existingMark.myDocument = null; } }