Method getInt

ij/src/main/java/ij/Prefs.java:837–847

Retrieves a number from IJ_Props or IJ_Prefs.txt. Does not retrieve numbers set using Prefs.set().

(String key, int defaultValue)

	/** Retrieves a number from IJ_Props or IJ_Prefs.txt.
		Does not retrieve numbers set using Prefs.set(). */
	public static int getInt(String key, int defaultValue) {
		if (props==null) //workaround for Netscape JIT bug
			return defaultValue;
		String s = props.getProperty(key);
		if (s!=null) {
			try {
				return Integer.decode(s).intValue();
			} catch (NumberFormatException e) {IJ.log(""+e);}
		}
		return defaultValue;
	}

	/** Retrieves a number from IJ_Props or IJ_Prefs.txt.
		Does not retrieve numbers set using Prefs.set(). */