/** * Adds an OnCloseRequest handle to the window which will store the position, * size and maximized status of the window. * * @param stage the stage to read settings from * @param name the name under which we store the settings */ public static void applySaveOnCloseMethod(Stage stage, String name){ stage.setOnCloseRequest( ev -> { try { Preferences stagePreferences = PREFERENCES.node(name); if( stage.isMaximized() ){ stagePreferences.putBoolean(WINDOW_MAXIMIZED, true); } else { stagePreferences.putBoolean(WINDOW_MAXIMIZED, false); stagePreferences.putDouble(WINDOW_X_POS, stage.getX()); stagePreferences.putDouble(WINDOW_Y_POS, stage.getY()); stagePreferences.putDouble(WINDOW_WIDTH, stage.getWidth()); stagePreferences.putDouble(WINDOW_HEIGHT, stage.getHeight()); } stagePreferences.flush(); } catch (final BackingStoreException ex) { LOGGER.error(ex, "Could not flush preferences for window " + name); } }); }
@Override public synchronized void putDouble(String key, double value) { this.preferences.putDouble(key, value); }
@Override public void propertyChange(PropertyChangeEvent evt) { String name = evt.getPropertyName(); if (name.equals("scaleFactor")) { preferences.putDouble("view.scaleFactor", (Double) evt.getNewValue()); firePropertyChange("scaleFactor", evt.getOldValue(), evt.getNewValue()); } } });
public double filter(double value, double oldValue) { if (value < 0.0) { return oldValue; } Preferences.userRoot().putDouble( "kamadaKawaiLayoutSpringConstant", value); return value; } });
public double filter(double value, double oldValue) { if (value < 0.0) { return oldValue; } Preferences.userRoot().putDouble("kamadaKawaiLayoutStopEnergy", value); return value; } });
public double filter(double value, double oldValue) { if (value <= 0.0) { return oldValue; } Preferences.userRoot().putDouble( "kamadaKawaiLayoutNaturalEdgeLength", value); return value; } });
@Override public void putDouble(String key, double value) { if (Boolean.TRUE != ignorePut.get()) { stored.putDouble(key, value); } super.putDouble(key, value); }
@Override public void handle(WindowEvent event) { Window window = (Window) event.getSource(); prefs.putDouble("x", window.getX()); // NOI18N prefs.putDouble("y", window.getY()); // NOI18N prefs.putDouble("width", window.getWidth()); // NOI18N prefs.putDouble("height", window.getHeight()); // NOI18N } };
@Override public void windowClosing(WindowEvent e) { prefs.putInt(DIALOG_WIDTH_PREFS_KEY, (int) dialog.getSize().getWidth()); prefs.putInt(DIALOG_HEIGHT_PREFS_KEY, (int) dialog.getSize().getHeight()); prefs.putDouble(DIALOG_X_PREFS_KEY, dialog.getLocationOnScreen().getX()); prefs.putDouble(DIALOG_Y_PREFS_KEY, dialog.getLocationOnScreen().getY()); prefs.putInt(DIALOG_DIVIDER_LOC_PREFS_KEY, splitPane.getDividerLocation()); prefs.putDouble(DIALOG_VIEWER_SCALE_PREFS_KEY, viewer.getScale()); dialog.setVisible(false); dialog.dispose(); } };
public void windowClosing(WindowEvent e) { prefs.putInt(DIALOG_WIDTH_PREFS_KEY, (int) dialog.getSize().getWidth()); prefs.putInt(DIALOG_HEIGHT_PREFS_KEY, (int) dialog.getSize().getHeight()); prefs.putDouble(DIALOG_X_PREFS_KEY, dialog.getLocationOnScreen().getX()); prefs.putDouble(DIALOG_Y_PREFS_KEY, dialog.getLocationOnScreen().getY()); prefs.putInt(DIALOG_DIVIDER_LOC_PREFS_KEY, splitPane.getDividerLocation()); prefs.putDouble(DIALOG_VIEWER_SCALE_PREFS_KEY, viewer.getScale()); dialog.setVisible(false); dialog.dispose(); } };
@Override public void windowClosing(WindowEvent e) { prefs.putInt(DIALOG_WIDTH_PREFS_KEY, (int) dialog.getSize().getWidth()); prefs.putInt(DIALOG_HEIGHT_PREFS_KEY, (int) dialog.getSize().getHeight()); prefs.putDouble(DIALOG_X_PREFS_KEY, dialog.getLocationOnScreen().getX()); prefs.putDouble(DIALOG_Y_PREFS_KEY, dialog.getLocationOnScreen().getY()); prefs.putInt(DIALOG_DIVIDER_LOC_PREFS_KEY, splitPane.getDividerLocation()); prefs.putDouble(DIALOG_VIEWER_SCALE_PREFS_KEY, viewer.getScale()); dialog.setVisible(false); dialog.dispose(); } };
@Override public void windowClosing(WindowEvent e) { prefs.putInt(DIALOG_WIDTH_PREFS_KEY, (int) dialog.getSize().getWidth()); prefs.putInt(DIALOG_HEIGHT_PREFS_KEY, (int) dialog.getSize().getHeight()); prefs.putDouble(DIALOG_X_PREFS_KEY, dialog.getLocationOnScreen().getX()); prefs.putDouble(DIALOG_Y_PREFS_KEY, dialog.getLocationOnScreen().getY()); prefs.putInt(DIALOG_DIVIDER_LOC_PREFS_KEY, splitPane.getDividerLocation()); prefs.putDouble(DIALOG_VIEWER_SCALE_PREFS_KEY, viewer.getScale()); dialog.setVisible(false); dialog.dispose(); } };
public double filter(double value, double oldValue) { try { PcSearchParamEditor.this.params.set("alpha", 0.001); Preferences.userRoot().putDouble("alpha", value); return value; } catch (Exception e) { return oldValue; } } });
public double filter(double value, double oldValue) { try { params.set("alpha", 0.001); Preferences.userRoot().putDouble("alpha", value); return value; } catch (Exception e) { return oldValue; } } });
public double filter(double value, double oldValue) { try { params().set("alpha", 0.001); Preferences.userRoot().putDouble("alpha", params().getDouble("alpha", 0.001)); return value; } catch (Exception e) { return oldValue; } } });
public double filter(double value, double oldValue) { try { params().set("alpha", 0.001); Preferences.userRoot().putDouble("alpha", params().getDouble("alpha", 0.001)); return value; } catch (Exception e) { return oldValue; } } });
public void setScaleFactor(double newValue) { double oldValue = getScaleFactor(); view.setScaleFactor(newValue); firePropertyChange("scaleFactor", oldValue, newValue); preferences.putDouble("view.scaleFactor", newValue); }
@Override public void setScale(final double scale) { this.scale = scale; final Preferences prefs = getPreferencesMapOrSkin(getMapDir()); prefs.putDouble(MAP_SCALE_PREF, scale); try { prefs.flush(); } catch (final BackingStoreException e) { log.log(Level.SEVERE, "Failed to flush preferences: " + prefs.absolutePath(), e); } }
@Override public void setUnitScaleFactor(final double scaleFactor) { unitImageFactory.setScaleFactor(scaleFactor); final Preferences prefs = getPreferencesMapOrSkin(getMapDir()); prefs.putDouble(UNIT_SCALE_PREF, scaleFactor); try { prefs.flush(); } catch (final BackingStoreException e) { log.log(Level.SEVERE, "Failed to flush preferences: " + prefs.absolutePath(), e); } }