public void ancestorAdded(AncestorEvent event) { // add a listener for when the window gets activated ProtegeManager.getInstance().getFrame(workspace).addWindowListener(new WindowAdapter() { public void windowActivated(WindowEvent event) { handleWindowActivated(); } }); workspace.removeAncestorListener(this); }
private void updateTitleBar() { Frame f = ProtegeManager.getInstance().getFrame(this); if (f != null) { f.setTitle(getTitle()); } }
public void ancestorAdded(AncestorEvent event) { // add a listener for when the window gets activated ProtegeManager.getInstance().getFrame(workspace).addWindowListener(new WindowAdapter() { public void windowActivated(WindowEvent event) { handleWindowActivated(); } }); workspace.removeAncestorListener(this); }
public void ancestorAdded(AncestorEvent event) { // add a listener for when the window gets activated ProtegeManager.getInstance().getFrame(workspace).addWindowListener(new WindowAdapter() { public void windowActivated(WindowEvent event) { handleWindowActivated(); } }); workspace.removeAncestorListener(this); }
public void ancestorAdded(AncestorEvent event) { // add a listener for when the window gets activated ProtegeManager.getInstance().getFrame(workspace).addWindowListener(new WindowAdapter() { public void windowActivated(WindowEvent event) { handleWindowActivated(); } }); workspace.removeAncestorListener(this); }
public void saveEditorKitAs(EditorKit editorKit) throws Exception { editorKit.handleSaveAs(); getFrame(editorKit.getWorkspace()).updateTitle(); }
public void saveEditorKitAs(EditorKit editorKit) throws Exception { editorKit.handleSaveAs(); getFrame(editorKit.getWorkspace()).updateTitle(); }
private void updateTitleBar() { Frame f = ProtegeManager.getInstance().getFrame(this); if (f != null) { f.setTitle(getTitle()); } ontologiesList.repaint(); }
private void updateTitleBar() { Frame f = ProtegeManager.getInstance().getFrame(this); if (f != null) { f.setTitle(getTitle()); } ontologiesList.repaint(); }
private void updateTitleBar() { Frame f = ProtegeManager.getInstance().getFrame(this); if (f != null) { f.setTitle(getTitle()); } ontologiesList.repaint(); }
@Override public final void actionPerformed(ActionEvent e) { Frame frame = ProtegeManager.getInstance().getFrame(getWorkspace()); for(Component c : frame.getComponents()) { processComponent(e, c, targetClass); } }
@Override public final void actionPerformed(ActionEvent e) { Frame frame = ProtegeManager.getInstance().getFrame(getWorkspace()); for(Component c : frame.getComponents()) { processComponent(e, c, targetClass); } }
@Override public void run(){ TextMessageFrame panel = new TextMessageFrame(title); JFrame protegeFrame = ProtegeManager.getInstance().getFrame(getWorkspace()); DialogUtils.centerDialogWRTParent(protegeFrame, panel); DialogUtils.installEscapeCloseOperation(panel); panel.setTextMessage(result); panel.setTimeProcessingMessage(String.format("Amount of processing time: %s sec", action.getExecutionTime()/1000)); panel.setVisible(true); } }
@Override public void run(){ TextMessageFrame panel = new TextMessageFrame("SPARQL Graph Query (CONSTRUCT/DESCRIBE) Result"); JFrame protegeFrame = ProtegeManager.getInstance().getFrame(getWorkspace()); DialogUtils.centerDialogWRTParent(protegeFrame, panel); DialogUtils.installEscapeCloseOperation(panel); panel.setTextMessage(visitor.getString()); panel.setVisible(true); } }
protected void invokeExplanationHandler() { Object obj = getSelectedValue(); if (!(obj instanceof OWLFrameSectionRow)) { return; } OWLFrameSectionRow row = (OWLFrameSectionRow) obj; OWLAxiom ax = row.getAxiom(); if (getExplanationManager().hasExplanation(ax)) { JFrame frame = ProtegeManager.getInstance().getFrame(editorKit.getWorkspace()); getExplanationManager().handleExplain(frame, ax); } }
protected void invokeExplanationHandler() { Object obj = getSelectedValue(); if (!(obj instanceof OWLFrameSectionRow)) { return; } OWLFrameSectionRow row = (OWLFrameSectionRow) obj; OWLAxiom ax = row.getAxiom(); if (getExplanationManager().hasExplanation(ax)) { JFrame frame = ProtegeManager.getInstance().getFrame(editorKit.getWorkspace()); getExplanationManager().handleExplain(frame, ax); } }
public CreateClassHierarchyWizard(OWLEditorKit owlEditorKit) { super(ProtegeManager.getInstance().getFrame(owlEditorKit.getWorkspace())); setTitle("Create Class Hierarchy"); pickRootClassPanel = new PickRootClassPanel(owlEditorKit); registerWizardPanel(PickRootClassPanel.ID, pickRootClassPanel); tabIndentedHierarchyPanel = new TabIndentedHierarchyPanel(owlEditorKit); registerWizardPanel(TabIndentedHierarchyPanel.ID, tabIndentedHierarchyPanel); makeSiblingClassesDisjointPanel = new MakeSiblingsDisjointPanel(owlEditorKit, EntityType.CLASS, Recommendation.RECOMMENDED); registerWizardPanel(MakeSiblingsDisjointPanel.ID, makeSiblingClassesDisjointPanel); setCurrentPanel(PickRootClassPanel.ID); }
public CreateClassHierarchyWizard(OWLEditorKit owlEditorKit) { super(ProtegeManager.getInstance().getFrame(owlEditorKit.getWorkspace())); setTitle("Create Class Hierarchy"); pickRootClassPanel = new PickRootClassPanel(owlEditorKit); registerWizardPanel(PickRootClassPanel.ID, pickRootClassPanel); tabIndentedHierarchyPanel = new TabIndentedHierarchyPanel(owlEditorKit); registerWizardPanel(TabIndentedHierarchyPanel.ID, tabIndentedHierarchyPanel); makeSiblingClassesDisjointPanel = new MakeSiblingsDisjointPanel(owlEditorKit, EntityType.CLASS, Recommendation.RECOMMENDED); registerWizardPanel(MakeSiblingsDisjointPanel.ID, makeSiblingClassesDisjointPanel); setCurrentPanel(PickRootClassPanel.ID); }
public CreateClassHierarchyWizard(OWLEditorKit owlEditorKit) { super(ProtegeManager.getInstance().getFrame(owlEditorKit.getWorkspace())); setTitle("Create Class Hierarchy"); pickRootClassPanel = new PickRootClassPanel(owlEditorKit); registerWizardPanel(PickRootClassPanel.ID, pickRootClassPanel); tabIndentedHierarchyPanel = new TabIndentedHierarchyPanel(owlEditorKit); registerWizardPanel(TabIndentedHierarchyPanel.ID, tabIndentedHierarchyPanel); makeSiblingClassesDisjointPanel = new MakeSiblingClassesDisjointPanel(owlEditorKit); registerWizardPanel(MakeSiblingClassesDisjointPanel.ID, makeSiblingClassesDisjointPanel); setCurrentPanel(PickRootClassPanel.ID); }
public CreateClassHierarchyWizard(OWLEditorKit owlEditorKit) { super(ProtegeManager.getInstance().getFrame(owlEditorKit.getWorkspace())); setTitle("Create Class Hierarchy"); pickRootClassPanel = new PickRootClassPanel(owlEditorKit); registerWizardPanel(PickRootClassPanel.ID, pickRootClassPanel); tabIndentedHierarchyPanel = new TabIndentedHierarchyPanel(owlEditorKit); registerWizardPanel(TabIndentedHierarchyPanel.ID, tabIndentedHierarchyPanel); makeSiblingClassesDisjointPanel = new MakeSiblingClassesDisjointPanel(owlEditorKit); registerWizardPanel(MakeSiblingClassesDisjointPanel.ID, makeSiblingClassesDisjointPanel); setCurrentPanel(PickRootClassPanel.ID); }