static void disposeForEditor(@NotNull Editor editor) {
    EditorFoldingInfo info = editor.getUserData(KEY);
    if (info != null) {
      info.dispose();
    }
  }
static void disposeForEditor(@NotNull Editor editor)