protected void initialiseOWLView() throws Exception { entityBannerPresenter = new EntityBannerPresenter(new EntityBannerViewImpl(), getOWLEditorKit()); entityBannerPresenter.getView().setBorder(BorderFactory.createEmptyBorder(0, 0, 1, 0)); setLayout(new BorderLayout()); add(entityBannerPresenter.getView(), NORTH); add(cardPanel); cardPanel.setLayout(cardLayout); cardPanel.add(new NothingSelectedPanel(), BLANK_PANEL); createViewPanes(false); getOWLWorkspace().getOWLSelectionModel().addListener(this::processSelection); getView().setShowViewBar(false); processSelection(); entityBannerPresenter.start(); }
protected void disposeOWLView() { for (ViewsPane pane : viewsPanes){ pane.saveViews(); pane.dispose(); } entityBannerPresenter.dispose(); }
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); }