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