@Nonnull public JComponent getView() { return view.asJComponent(); }
private void handleSelectionChanged() { view.clear(); OWLEntity entity = editorKit.getOWLWorkspace().getOWLSelectionModel().getSelectedEntity(); if(entity == null) { view.asJComponent().setVisible(false); view.setMenuEnabled(false); } else { view.asJComponent().setVisible(true); String formattedBanner = formatter.formatBanner(entity, editorKit); view.setText(formattedBanner); Icon entityIcon = editorKit.getOWLWorkspace().getOWLIconProvider().getIcon(entity); view.setIcon(entityIcon); view.setMenuEnabled(true); } }