protected boolean handlePreferencesRequest() { if (eKit != null){ PreferencesDialogPanel.showPreferencesDialog(null, eKit); return true; } return false; }
public static void showPreferencesDialog(String selectedPanel, EditorKit editorKit) { final PreferencesDialogPanel preferencesPanel = new PreferencesDialogPanel(editorKit); int ret = (Integer)o; if (ret == JOptionPane.OK_OPTION) { preferencesPanel.applyPreferences(); prefs.putString(PREFS_HISTORY_PANEL_KEY, preferencesPanel.getSelectedPanel()); preferencesPanel.dispose();
public PreferencesDialogPanel(EditorKit editorKit) { setLayout(new BorderLayout()); add(tabbedPane); Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize(); int margin = 300; int prefWidth = Math.min(screenSize.width - margin, DIALOG_DEFAULT_WIDTH); int prefHeight = Math.min(screenSize.height - margin, DIALOG_DEFAULT_HEIGHT); setPreferredSize(new Dimension(prefWidth, prefHeight));
public PreferencesDialogPanel(EditorKit editorKit) { map = new HashMap<String, PreferencesPanel>(); scrollerMap = new HashMap<String, JComponent>(); setLayout(new BorderLayout()); tabbedPane = new JTabbedPane(); PreferencesPanelPluginLoader loader = new PreferencesPanelPluginLoader(editorKit); add(tabbedPane);
public static void showPreferencesDialog(String selectedPanel, EditorKit editorKit) { final PreferencesDialogPanel preferencesPanel = new PreferencesDialogPanel(editorKit); int ret = (Integer)o; if (ret == JOptionPane.OK_OPTION) { preferencesPanel.applyPreferences(); prefs.putString(PREFS_HISTORY_PANEL_KEY, preferencesPanel.getSelectedPanel()); preferencesPanel.dispose();
public PreferencesDialogPanel(EditorKit editorKit) { map = new HashMap<String, PreferencesPanel>(); scrollerMap = new HashMap<String, JComponent>(); setLayout(new BorderLayout()); tabbedPane = new JTabbedPane(); PreferencesPanelPluginLoader loader = new PreferencesPanelPluginLoader(editorKit); add(tabbedPane);
protected boolean handlePreferencesRequest() { if (eKit != null){ PreferencesDialogPanel.showPreferencesDialog(null, eKit); return true; } return false; }
public static void showPreferencesDialog(String selectedPanel, EditorKit editorKit) { PreferencesDialogPanel panel = new PreferencesDialogPanel(editorKit); final Preferences prefs = PreferencesManager.getInstance().getApplicationPreferences(PreferencesDialogPanel.class); if (selectedPanel == null){ selectedPanel = prefs.getString(PREFS_HISTORY_PANEL_KEY, null); } Component c = panel.scrollerMap.get(selectedPanel); if (c != null) { panel.tabbedPane.setSelectedComponent(c); } JOptionPane op = new JOptionPane(panel, JOptionPane.PLAIN_MESSAGE, JOptionPane.OK_CANCEL_OPTION); JDialog dlg = op.createDialog(editorKit.getWorkspace(), "Preferences"); dlg.setResizable(true); dlg.setVisible(true); Object o = op.getValue(); if (o != null){ int ret = (Integer)o; if (ret == JOptionPane.OK_OPTION) { panel.applyPreferences(); } } prefs.putString(PREFS_HISTORY_PANEL_KEY, panel.getSelectedPanel()); panel.dispose(); } }
protected boolean handlePreferencesRequest() { if (eKit != null){ PreferencesDialogPanel.showPreferencesDialog(null, eKit); return true; } return false; }
public void actionPerformed(ActionEvent event) { PreferencesDialogPanel.showPreferencesDialog("OWLViz", eKit); } };
private void showNewEntitiesPrefs() { PreferencesDialogPanel.showPreferencesDialog("New Entities", getEditorKit()); }
public void actionPerformed(ActionEvent e) { PreferencesDialogPanel.showPreferencesDialog("Reasoner", getOWLEditorKit()); }
public void actionPerformed(ActionEvent event) { PreferencesDialogPanel.showPreferencesDialog(null, getEditorKit()); } });
public void actionPerformed(ActionEvent e) { PreferencesDialogPanel.showPreferencesDialog(null, getEditorKit()); }
public void actionPerformed(ActionEvent e) { PreferencesDialogPanel.showPreferencesDialog(null, getEditorKit()); }
private void showNewEntitiesPrefs() { PreferencesDialogPanel.showPreferencesDialog("New Entities", getEditorKit()); }
public void actionPerformed(ActionEvent e) { PreferencesDialogPanel.showPreferencesDialog("Renderer", getOWLEditorKit()); }
public void actionPerformed(ActionEvent event) { PreferencesDialogPanel.showPreferencesDialog(null, getEditorKit()); } });
private void showNewEntitiesPrefs() { PreferencesDialogPanel.showPreferencesDialog("New Entities", getEditorKit()); }
private void showNewEntitiesPrefs() { PreferencesDialogPanel.showPreferencesDialog("New Entities", getEditorKit()); }