void (@NotNull HyperlinkEvent e) { if (e.getEventType() == HyperlinkEvent.EventType.ACTIVATED) { Settings settings = Settings.KEY.getData(DataManager.getInstance().getDataContext(OptionsPanelImpl.this)); String pageName = e.getDescription(); Element element = e.getSourceElement(); String attrName; try { attrName = element.getDocument().getText(element.getStartOffset(), element.getEndOffset() - element.getStartOffset()); } catch (BadLocationException e1) { return; } final SearchableConfigurable page = myOptions.findSubConfigurable(pageName); if (page != null && settings != null) { Runnable runnable = page.enableSearch(attrName); ActionCallback callback = settings.select(page); if (runnable != null) callback.doWhenDone(runnable); } } }