/** * Brings the inferred hierarchy views to the font (if they are in the views pane), * and shows the classification results view. */ private void showClassificationResults() { getOWLEditorKit().getWorkspace().getViewManager().bringViewToFront( "org.protege.editor.owl.InferredOWLClassHierarchy"); getOWLEditorKit().getWorkspace().getViewManager().bringViewToFront( "org.protege.editor.owl.OWLInferredSuperClassHierarchy"); //getOWLEditorKit().getWorkspace().showResultsView("org.protege.editor.owl.OWLReasonerResults", true, Workspace.BOTTOM_RESULTS_VIEW); } }
public void initialise() { setLayout(new BorderLayout()); ViewsPaneMemento memento = new ViewsPaneMemento(this); viewsPane = new ViewsPane(getWorkspace(), memento); add(viewsPane, BorderLayout.CENTER); getWorkspace().getViewManager().registerViews(this); }
public void actionPerformed(ActionEvent e) { WorkspaceViewManager viewManager = workspace.getViewManager(); viewManager.showView(plugin.getId());; } };
public void reset(String serialisation) { getWorkspace().getViewManager().unregisterViews(this); viewsPane.storeViewLayout(serialisation); viewsPane.dispose(); remove(viewsPane); viewsPane = new ViewsPane(getWorkspace(), new ViewsPaneMemento(this)); add(viewsPane, BorderLayout.CENTER); getWorkspace().getViewManager().registerViews(this); validate(); }
private boolean canNavigate(String type){ ViewComponentPlugin plugin = getWorkspace().getViewManager().getViewComponentPlugin(getView().getId()); return plugin != null && plugin.getNavigates().contains(ProtegeProperties.getInstance().getProperty(type)); }
/** * This method is called by the system to * set up the <code>Workspace</code> (with references * to the <code>EditorKit</code> etc.) * @param editorKit The <code>EditorKit</code> that this * <code>Workspace</code> belongs to. */ public void setup(EditorKit editorKit) { this.editorKit = editorKit; this.viewManager = new WorkspaceViewManager(); // Create the layout. setLayout(new BorderLayout()); leftResultsSplitPane = new ViewSplitPane(JSplitPane.HORIZONTAL_SPLIT); leftResultsSplitPane.setResizeWeight(0.2); add(leftResultsSplitPane); bottomResultsSplitPane = new ViewSplitPane(JSplitPane.VERTICAL_SPLIT); bottomResultsSplitPane.setResizeWeight(0.65); leftResultsSplitPane.add(bottomResultsSplitPane, JSplitPane.RIGHT); bottomResultsViewHolder = new ViewHolder("Results", JSplitPane.BOTTOM, bottomResultsSplitPane); adjustBorder(bottomResultsViewHolder); leftResultsViewHolder = new ViewHolder("R", JSplitPane.LEFT, leftResultsSplitPane); adjustBorder(leftResultsViewHolder); }
public void reset(String serialisation) { getWorkspace().getViewManager().unregisterViews(this); viewsPane.storeViewLayout(serialisation); viewsPane.dispose(); remove(viewsPane); viewsPane = new ViewsPane(getWorkspace(), new ViewsPaneMemento(this)); add(viewsPane, BorderLayout.CENTER); getWorkspace().getViewManager().registerViews(this); validate(); }
private boolean canNavigate(String type){ ViewComponentPlugin plugin = getWorkspace().getViewManager().getViewComponentPlugin(getView().getId()); return plugin != null && plugin.getNavigates().contains(ProtegeProperties.getInstance().getProperty(type)); }
/** * This method is called by the system to * set up the <code>Workspace</code> (with references * to the <code>EditorKit</code> etc.) * @param editorKit The <code>EditorKit</code> that this * <code>Workspace</code> belongs to. */ public void setup(EditorKit editorKit) { this.editorKit = editorKit; this.viewManager = new WorkspaceViewManager(); // Create the layout. setLayout(new BorderLayout()); leftResultsSplitPane = new ViewSplitPane(JSplitPane.HORIZONTAL_SPLIT); leftResultsSplitPane.setResizeWeight(0.2); add(leftResultsSplitPane); bottomResultsSplitPane = new ViewSplitPane(JSplitPane.VERTICAL_SPLIT); bottomResultsSplitPane.setResizeWeight(0.65); leftResultsSplitPane.add(bottomResultsSplitPane, JSplitPane.RIGHT); bottomResultsViewHolder = new ViewHolder("Results", JSplitPane.BOTTOM, bottomResultsSplitPane); adjustBorder(bottomResultsViewHolder); leftResultsViewHolder = new ViewHolder("R", JSplitPane.LEFT, leftResultsSplitPane); adjustBorder(leftResultsViewHolder); }
public void reset(String serialisation) { getWorkspace().getViewManager().unregisterViews(this); viewsPane.storeViewLayout(serialisation); viewsPane.dispose(); remove(viewsPane); viewsPane = new ViewsPane(getWorkspace(), new ViewsPaneMemento(this)); add(viewsPane, BorderLayout.CENTER); getWorkspace().getViewManager().registerViews(this); validate(); }
private boolean canNavigate(String type){ ViewComponentPlugin plugin = getWorkspace().getViewManager().getViewComponentPlugin(getView().getId()); return plugin != null && plugin.getNavigates().contains(ProtegeProperties.getInstance().getProperty(type)); }
/** * Brings the inferred hierarchy views to the font (if they are in the views pane), * and shows the classification results view. */ private void showClassificationResults() { getOWLEditorKit().getWorkspace().getViewManager().bringViewToFront( "org.protege.editor.owl.InferredOWLClassHierarchy"); getOWLEditorKit().getWorkspace().getViewManager().bringViewToFront( "org.protege.editor.owl.OWLInferredSuperClassHierarchy"); //getOWLEditorKit().getWorkspace().showResultsView("org.protege.editor.owl.OWLReasonerResults", true, Workspace.BOTTOM_RESULTS_VIEW); } }
public void initialise() { setLayout(new BorderLayout()); ViewsPaneMemento memento = new ViewsPaneMemento(this); viewsPane = new ViewsPane(getWorkspace(), memento); add(viewsPane, BorderLayout.CENTER); getWorkspace().getViewManager().registerViews(this); }
public void actionPerformed(ActionEvent e) { WorkspaceViewManager viewManager = workspace.getViewManager(); viewManager.showView(plugin.getId());; } };
public void reset() { for (View view : viewsPane.getViews()) { if (view.getViewComponent() != null) { if (view.getViewComponent() instanceof Resettable) { ((Resettable) view.getViewComponent()).reset(); } } } getWorkspace().getViewManager().unregisterViews(this); remove(viewsPane); viewsPane.dispose(); ViewsPaneMemento memento = new ViewsPaneMemento(this); memento.setForceReset(true); viewsPane = new ViewsPane(getWorkspace(), memento); add(viewsPane, BorderLayout.CENTER); getWorkspace().getViewManager().registerViews(this); }
private boolean canNavigate(String type){ ViewComponentPlugin plugin = getWorkspace().getViewManager().getViewComponentPlugin(getView().getId()); return plugin != null && plugin.getNavigates().contains(ProtegeProperties.getInstance().getProperty(type)); }
/** * Brings the inferred hierarchy views to the font (if they are in the views pane), * and shows the classification results view. */ private void showClassificationResults() { getOWLEditorKit().getWorkspace().getViewManager().bringViewToFront( "org.protege.editor.owl.InferredOWLClassHierarchy"); getOWLEditorKit().getWorkspace().getViewManager().bringViewToFront( "org.protege.editor.owl.OWLInferredSuperClassHierarchy"); //getOWLEditorKit().getWorkspace().showResultsView("org.protege.editor.owl.OWLReasonerResults", true, Workspace.BOTTOM_RESULTS_VIEW); } }
public void initialise() { setLayout(new BorderLayout()); ViewsPaneMemento memento = new ViewsPaneMemento(this); viewsPane = new ViewsPane(getWorkspace(), memento); add(viewsPane, BorderLayout.CENTER); getWorkspace().getViewManager().registerViews(this); }
public void actionPerformed(ActionEvent e) { WorkspaceViewManager viewManager = workspace.getViewManager(); viewManager.showView(plugin.getId());; } };
public void reset() { for (View view : viewsPane.getViews()) { if (view.getViewComponent() != null) { if (view.getViewComponent() instanceof Resettable) { ((Resettable) view.getViewComponent()).reset(); } } } getWorkspace().getViewManager().unregisterViews(this); remove(viewsPane); viewsPane.dispose(); ViewsPaneMemento memento = new ViewsPaneMemento(this); memento.setForceReset(true); viewsPane = new ViewsPane(getWorkspace(), memento); add(viewsPane, BorderLayout.CENTER); getWorkspace().getViewManager().registerViews(this); }