public void editURI(URI uri) throws Exception { ProtegeManager pm = ProtegeManager.getInstance(); for (EditorKitFactoryPlugin plugin : pm.getEditorKitFactoryPlugins()) { if (plugin.newInstance().canLoad(uri)) { pm.loadAndSetupEditorKitFromURI(plugin, uri); welcomeFrame.setVisible(false); break; } } }
public void editURI(URI uri) throws Exception { ProtegeManager pm = ProtegeManager.getInstance(); for (EditorKitFactoryPlugin plugin : pm.getEditorKitFactoryPlugins()) { if (plugin.newInstance().canLoad(uri)) { pm.loadAndSetupEditorKitFromURI(plugin, uri); // welcomeFrame.setVisible(false); break; } } }
private void handleOpenFromURI(EditorKitFactoryPlugin plugin) { try { URI uri = OpenFromURLPanel.showDialog(); if (uri != null) { if (ProtegeManager.getInstance().loadAndSetupEditorKitFromURI(plugin, uri)) { dispose(); } } } catch (Exception e1) { ErrorLogPanel.showErrorDialog(e1); } }
public void openInNewWorkspace() throws Exception { URI uri = getPhysicalURI(); if (uri != null) { for (EditorKitFactoryPlugin plugin : ProtegeManager.getInstance().getEditorKitFactoryPlugins()) { if (plugin.getId().equals(getEditorKit().getEditorKitFactory().getId())) { ProtegeManager.getInstance().loadAndSetupEditorKitFromURI(plugin, uri); break; } } } }
public void openInNewWorkspace() throws Exception { URI uri = getPhysicalURI(); if (uri != null) { for (EditorKitFactoryPlugin plugin : ProtegeManager.getInstance().getEditorKitFactoryPlugins()) { if (plugin.getId().equals(getEditorKit().getEditorKitFactory().getId())) { ProtegeManager.getInstance().loadAndSetupEditorKitFromURI(plugin, uri); break; } } } }
public void openInNewWorkspace() throws Exception { URI uri = getPhysicalURI(); if (uri != null) { for (EditorKitFactoryPlugin plugin : ProtegeManager.getInstance().getEditorKitFactoryPlugins()) { if (plugin.getId().equals(getEditorKit().getEditorKitFactory().getId())) { ProtegeManager.getInstance().loadAndSetupEditorKitFromURI(plugin, uri); break; } } } }
public void openInNewWorkspace() throws Exception { URI uri = getPhysicalURI(); if (uri != null) { for (EditorKitFactoryPlugin plugin : ProtegeManager.getInstance().getEditorKitFactoryPlugins()) { if (plugin.getId().equals(getEditorKit().getEditorKitFactory().getId())) { ProtegeManager.getInstance().loadAndSetupEditorKitFromURI(plugin, uri); break; } } } }