public void actionPerformed(ActionEvent e) { try { if (ProtegeManager.getInstance().openAndSetupEditorKit(plugin)) { dispose(); } } catch (Throwable e1) { ErrorLogPanel.showErrorDialog(e1); } } });
public void openInNewWorkspace() throws Exception { for (EditorKitFactoryPlugin plugin : ProtegeManager.getInstance().getEditorKitFactoryPlugins()) { if (plugin.getId().equals(getEditorKit().getEditorKitFactory().getId())) { ProtegeManager.getInstance().openAndSetupEditorKit(plugin); break; } } }
public void openInNewWorkspace() throws Exception { for (EditorKitFactoryPlugin plugin : ProtegeManager.getInstance().getEditorKitFactoryPlugins()) { if (plugin.getId().equals(getEditorKit().getEditorKitFactory().getId())) { ProtegeManager.getInstance().openAndSetupEditorKit(plugin); break; } } }
public void openInNewWorkspace() throws Exception { for (EditorKitFactoryPlugin plugin : ProtegeManager.getInstance().getEditorKitFactoryPlugins()) { if (plugin.getId().equals(getEditorKit().getEditorKitFactory().getId())) { ProtegeManager.getInstance().openAndSetupEditorKit(plugin); break; } } }