protected boolean handleQuitRequest() { return ProtegeApplication.handleQuit(); } }
protected boolean handleQuitRequest() { return ProtegeApplication.handleQuit(); } }
public void actionPerformed(ActionEvent event) { ProtegeApplication.handleQuit(); } });
public void windowClosing(WindowEvent e) { handleQuit(); } });
public void actionPerformed(ActionEvent event) { ProtegeApplication.handleQuit(); } });
protected boolean handleQuitRequest() { return ProtegeApplication.handleQuit(); } }
/** * Installs the file menu for non-OS-X systems. * @param fileMenu The file menu. Not {@code null}. */ private void installFileMenu(JMenu fileMenu) { if (OSUtils.isOSX()) { return; } fileMenu.addSeparator(); JMenuItem prefsMenuItem = fileMenu.add("Preferences..."); prefsMenuItem.addActionListener(e -> PreferencesDialogPanel.showPreferencesDialog(null, getEditorKit())); prefsMenuItem.setAccelerator(KeyStroke.getKeyStroke(",")); fileMenu.addSeparator(); JMenuItem exitMenuItem = fileMenu.add("Exit"); exitMenuItem.addActionListener(e -> ProtegeApplication.handleQuit()); }
public void handleClose() { if (!quitting) { final EditorKitManager eKitMngr = ProtegeManager.getInstance().getEditorKitManager(); if (eKitMngr.getEditorKitCount() == 0) { handleQuit(); } } }
public void handleClose() { if (!quitting) { final EditorKitManager eKitMngr = ProtegeManager.getInstance().getEditorKitManager(); if (eKitMngr.getEditorKitCount() == 0) { handleQuit(); } } }
q.flush(); JOptionPane.showMessageDialog(getParent(), "Preferences Reset"); ProtegeApplication.handleQuit();
q.flush(); JOptionPane.showMessageDialog(getParent(), "Protege Preferences Reset"); ProtegeApplication.handleQuit();
q.flush(); JOptionPane.showMessageDialog(getParent(), "Protege Preferences Reset"); ProtegeApplication.handleQuit();