private void showWelcomeFrame(){ if (welcomeFrame == null){ welcomeFrame = new ProtegeWelcomeFrame(); welcomeFrame.addWindowListener(new WindowAdapter() { public void windowClosing(WindowEvent e) { handleQuit(); } }); welcomeFrame.setDefaultCloseOperation(JFrame.DO_NOTHING_ON_CLOSE); } welcomeFrame.setVisible(true); }
public ProtegeWelcomeFrame() { setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE); setName("ProtegeWelcome"); welcomePanel = new ProtegeWelcomePanel(); setContentPane(welcomePanel); pack(); centre(); }
private void centre() { Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize(); Dimension size = getSize(); setLocation((screenSize.width - size.width) / 2, (screenSize.height - size.height) / 2); }
public void actionPerformed(ActionEvent e) { if (ProtegeManager.getInstance().handleOpenFromBuilder(builder)) { dispose(); } } }));
public void actionPerformed(ActionEvent e) { try { if (ProtegeManager.getInstance().createAndSetupNewEditorKit(plugin)) { dispose(); } } catch (Throwable e1) { ErrorLogPanel.showErrorDialog(e1); } } });
public void actionPerformed(ActionEvent e) { try { if (ProtegeManager.getInstance().openAndSetupEditorKit(plugin)) { dispose(); } } catch (Throwable e1) { ErrorLogPanel.showErrorDialog(e1); } } });
public void actionPerformed(ActionEvent e) { try { if (ProtegeManager.getInstance().openAndSetupRecentEditorKit(desc)) { dispose(); } } catch (Exception e1) { ErrorLogPanel.showErrorDialog(e1); } } }));
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); } }
private void handleOpenFromRepository(OntologyRepository repository) { try { OntologyRepositoryEntry entry = OpenFromRepositoryPanel.showDialog(repository); if(entry == null) { return; } if (ProtegeManager.getInstance().loadAndSetupEditorKitFromRepository(repository, entry)) { dispose(); } } catch (Exception e) { ErrorLogPanel.showErrorDialog(e); } }