@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); } }
public void start() { editorKit.getOWLWorkspace().getOWLSelectionModel().addListener(this::handleSelectionChanged); handleSelectionChanged(); MenuBuilder menuBuilder = new MenuBuilder(editorKit); JPopupMenu popupMenu = menuBuilder.buildPopupMenu(new PopupMenuId(ENTITY_BANNER_MENU_ID)); view.setPopupMenu(popupMenu); }