in src/main/java/com/intellij/util/ui/UIUtilities.java [1433:1445]
public static int getUIDefaultsInt(Object key, Locale l, int defaultValue) {
Object value = UIManager.get(key, l);
if (value instanceof Integer) {
return ((Integer)value).intValue();
}
if (value instanceof String) {
try {
return Integer.parseInt((String)value);
} catch (NumberFormatException nfe) {}
}
return defaultValue;
}