snapToGrid = prefs.getBoolean("SnapToGrid", true); showGrid = prefs.getBoolean("ShowGrid", true); navigator = prefs.getBoolean("Navigator", true);
snapToGrid = prefs.getBoolean("SnapToGrid", snapToGrid); showGrid = prefs.getBoolean("ShowGrid", showGrid); navigator = prefs.getBoolean("Navigator", navigator); grouping = prefs.getBoolean("Grouping", grouping);
protected Settings() {		// user settings	prefs = Preferences.userNodeForPackage(this.getClass());	// Console.getInstance().println("o) No settings file loaded. Using defaults...");	// initialize buffered properties	snapToGrid = prefs.getBoolean("SnapToGrid", true);	showGrid = prefs.getBoolean("ShowGrid", true);	navigator = prefs.getBoolean("Navigator", true);	String separator = prefs.get("GroupSeparator", null);	if (separator!=null && separator.length()>0)		Constants.GROUP_SEPARATOR = separator.charAt(0);		}