void (@NotNull Editor editor, @NotNull BreadcrumbsPanel panel) { BreadcrumbsPanel oldPanel = editor.getUserData(BREADCRUMBS_COMPONENT_KEY); if (oldPanel != null) { LOG.error("Multiple breadcrumbs panels registered for the same Editor, old panel: " + oldPanel, new Throwable()); } editor.putUserData(BREADCRUMBS_COMPONENT_KEY, panel); }