/** * Retrieves data about he window settings from the previous session and applies * them to the stage. These settings include window size, position and if * it was maximized or not. * * @param stage the stage to apply these settings to * @param name the name under which we stored the settings */ public static void applyStoredDisplaySettings(Stage stage, String name){ try { if( PREFERENCES.nodeExists(name) ){ Preferences stagePreferences = PREFERENCES.node(name); boolean wasMaximized = stagePreferences.getBoolean(WINDOW_MAXIMIZED, false); if( wasMaximized ){ stage.setMaximized(true); } else { stage.setX( stagePreferences.getDouble(WINDOW_X_POS, DEFUALT_X)); stage.setY( stagePreferences.getDouble(WINDOW_Y_POS, DEFUALT_Y)); stage.setWidth( stagePreferences.getDouble(WINDOW_WIDTH, DEFUALT_WIDTH)); stage.setHeight(stagePreferences.getDouble(WINDOW_HEIGHT, DEFUALT_HEIHGT)); } } } catch (BackingStoreException ex) { LOGGER.error(ex, "Could not access preferences for window " + name); } }
@Override public synchronized double getDouble(String key, double defaultValue) { return this.preferences.getDouble(key, defaultValue); }
@Override public synchronized double getDouble(String key, double defaultValue) { return this.preferences.getDouble(key, defaultValue); }
public double getDouble(String key, double def) { return preferences.getDouble(key, def); }
@Override public double getDouble(final String key, final double defaultValue) { return this.preferences.getDouble(key, defaultValue); }
@Override public double getDouble(String key, double def) { return actualPreferences.getDouble(key, def); }
private void restoreWindowPosition() { Preferences userPrefs = Preferences.userNodeForPackage(getClass()); // get window location from user preferences: use x=100, y=100 as // default double x = userPrefs.getDouble("stage.x", 100); double y = userPrefs.getDouble("stage.y", 100); primaryStage.setX(x); primaryStage.setY(y); }
List<NavigationPosition> filterVisiblePositions(List<NavigationPosition> positions, int zoom) { double visiblePositionAreaFactor = preferences.getDouble("visiblePositionAreaFactor", 3.0); double factor = max(visiblePositionAreaFactor * (zoom - MAXIMUM_ZOOM_FOR_SIGNIFICANCE_CALCULATION), 1) * visiblePositionAreaFactor; return filterVisiblePositions(positions, factor, false); }
private void initializePrefs() { mPrefs = Preferences.userNodeForPackage(this.getClass()); if (mPrefs != null) { int prefVer = mPrefs.getInt("PrefVer", 1); if (prefVer == 1) { mZoom = mPrefs.getDouble("Zoom", 1.0); } } }
/** @see java.util.prefs.Preferences#getDouble(String, double) */ public double getDouble(final String key, final double def) { return p.getDouble(safeKey(key), def); }
/** @see java.util.prefs.Preferences#getDouble(String, double) */ public double getDouble(final String key, final double def) { return p.getDouble(safeKey(key), def); }
public static double getPref(String name, double defaultValue) { return prefNode().getDouble(JNAeratorStudio.PREF_RADIX + name, defaultValue); }
public void setView(DrawingView view) { this.view = view; prefs = PreferencesUtil.userNodeForPackage(getClass()); GridConstrainer constrainer = (GridConstrainer) view.getVisibleConstrainer(); constrainer.setHeight(prefs.getDouble("view.gridSize", 8d)); constrainer.setWidth(prefs.getDouble("view.gridSize", 8d)); }
/** Replies the preferred distance below which roads may be connected. * * @return the preferred distance (in meters) below which roads may be connected. */ @Pure public static double getPreferredRoadConnectionDistance() { final Preferences prefs = Preferences.userNodeForPackage(RoadNetworkConstants.class); if (prefs != null) { return prefs.getDouble("ROAD_CONNECTION_DISTANCE", DEFAULT_ROAD_CONNECTION_DISTANCE); //$NON-NLS-1$ } return DEFAULT_ROAD_CONNECTION_DISTANCE; }
@Override protected void internalSetMapDir(final String dir, final GameData data) { resourceLoader = ResourceLoader.getMapResourceLoader(dir); scale = getPreferencesMapOrSkin(dir).getDouble(MAP_SCALE_PREF, 1); mapDir = dir; }
/** Replies the preferred width of a lane for a road segment. * * @return the preferred width of a lane for a road segment, in meters. * @see #DEFAULT_LANE_WIDTH */ @Pure public static double getPreferredLaneWidth() { final Preferences prefs = Preferences.userNodeForPackage(RoadNetworkConstants.class); if (prefs != null) { return prefs.getDouble("LANE_WIDTH", DEFAULT_LANE_WIDTH); //$NON-NLS-1$ } return DEFAULT_LANE_WIDTH; }
public Double get() { return getScope().getDouble(getKey(), getDefault()); }
private int getClosestPositionByCoordinates(NavigationPosition position) { PositionsModel originalPositionsModel = RouteConverter.getInstance().getConvertPanel().getPositionsModel(); double threshold = preferences.getDouble(CLOSEST_POSITION_BY_COORDINATES_THRESHOLD_PREFERENCE, 25); return position.hasCoordinates() ? originalPositionsModel.getClosestPosition(position.getLongitude(), position.getLatitude(), threshold) : -1; }
protected Mask createNewMask(Mask.ImageType type) { String maskName = getNewMaskName(getMaskForm().getProduct().getMaskGroup()); Dimension maskSize = getMaskForm().getTargetMaskSize(); Mask mask = new Mask(maskName, maskSize.width, maskSize.height, type); Preferences preferences = SnapApp.getDefault().getPreferences(); mask.setImageColor( StringUtils.parseColor(preferences.get("mask.color", StringUtils.formatColor(Mask.ImageType.DEFAULT_COLOR)))); mask.setImageTransparency(preferences.getDouble("mask.transparency", Mask.ImageType.DEFAULT_TRANSPARENCY)); return mask; }