/** * Popup the settings editor dialog * * @param settings the settings to edit */ protected void popupSettingsDialog(final Settings settings) { final SettingsEditor settingsEditor = new SettingsEditor(settings, m_mainApp); try { int result = SettingsEditor.showApplicationSettingsEditor(settings, m_mainApp); if (result == JOptionPane.OK_OPTION) { initVisiblePerspectives(settings); setupUserPerspectives(); notifySettingsChanged(); } } catch (IOException ex) { m_mainApp.showErrorDialog(ex); } }
/** * Popup the settings editor dialog * * @param settings the settings to edit */ protected void popupSettingsDialog(final Settings settings) { final SettingsEditor settingsEditor = new SettingsEditor(settings, m_mainApp); try { int result = SettingsEditor.showApplicationSettingsEditor(settings, m_mainApp); if (result == JOptionPane.OK_OPTION) { initVisiblePerspectives(settings); setupUserPerspectives(); notifySettingsChanged(); } } catch (IOException ex) { m_mainApp.showErrorDialog(ex); } }
m_perspectives.add(m_mainPerspective); initPerspectivesCache(settings); initVisiblePerspectives(settings);
m_perspectives.add(m_mainPerspective); initPerspectivesCache(settings); initVisiblePerspectives(settings);