public static void setAutoIDEnd(int end) { Preferences prefs = getPrefs(); prefs.putInt(AUTO_ID_END, end); }
public void setCheckDelay(int checkDelay) { this.checkDelay = checkDelay; getPreferences().putInt(CHECK_DELAY_KEY, checkDelay); }
public static void setAutoIDDigitCount(int size) { Preferences prefs = getPrefs(); prefs.putInt(AUTO_ID_SIZE, size); }
public static void setAutoIDDigitCount(int size) { Preferences prefs = getPrefs(); prefs.putInt(AUTO_ID_SIZE, size); }
public static void setAutoIDStart(int start) { Preferences prefs = getPrefs(); prefs.putInt(AUTO_ID_START, start); }
public void setDefaultTrackerRadius(int radius){ getPrefs().putInt(RADIUS, radius); } }
protected void saveMetrics() { Preferences prefs = PreferencesManager.getInstance().getApplicationPreferences(getClass().getName()); Point location = getLocation(); prefs.putInt(LOC_X, location.x); prefs.putInt(LOC_Y, location.y); prefs.putInt(SIZE_X, getSize().width); prefs.putInt(SIZE_Y, getSize().height); }
public static void setAutoIDEnd(int end) { Preferences prefs = getPrefs(); prefs.putInt(AUTO_ID_END, end); }
public void setAutoExpansionChildLimit(int limit) { getPreferences().putInt(CHILD_COUNT_LIMIT_KEY, limit); }
public void setAutoExpansionChildLimit(int limit) { getPreferences().putInt(CHILD_COUNT_LIMIT_KEY, limit); }
public void setFontSize(int fontSize) { this.fontSize = fontSize; getPreferences().putInt(FONT_SIZE, fontSize); resetFont(); }
public void resetDocumentCounter() { getPreferences().putInt(DOCUMENT_COUNTER, DOCUMENT_COUNTER_START); save(); }
public void setFontSize(int fontSize) { this.fontSize = fontSize; getPreferences().putInt(FONT_SIZE, fontSize); resetFont(); }
public void setFontSize(int fontSize) { this.fontSize = fontSize; getPreferences().putInt(FONT_SIZE, fontSize); resetFont(); }
public void setFontSize(int fontSize) { this.fontSize = fontSize; getPreferences().putInt(FONT_SIZE, fontSize); resetFont(); }
public void incrementCounter() { Preferences preferences = getPreferences(); int counter = preferences.getInt(DOCUMENT_COUNTER, DOCUMENT_COUNTER_START); counter++; preferences.putInt(DOCUMENT_COUNTER, counter); save(); }
public void incrementCounter() { Preferences preferences = getPreferences(); int counter = preferences.getInt(DOCUMENT_COUNTER, DOCUMENT_COUNTER_START); counter++; preferences.putInt(DOCUMENT_COUNTER, counter); save(); }
public void incrementCounter() { Preferences preferences = getPreferences(); int counter = preferences.getInt(DOCUMENT_COUNTER, DOCUMENT_COUNTER_START); counter++; preferences.putInt(DOCUMENT_COUNTER, counter); save(); }