public static @Nullable DocRenderer.EditorInlineHtmlPane getPaneWithSelection(@NotNull Editor editor) {
    DocRenderSelectionManager selectionManager = editor.getUserData(OUR_KEY);
    return selectionManager == null ? null : selectionManager.myPaneWithSelection;
  }
public static @Nullable DocRenderer.EditorInlineHtmlPane getPaneWithSelection(@NotNull Editor editor)