Revision 44143 trunk/org.gvsig.desktop/org.gvsig.desktop.framework/org.gvsig.andami/src/main/java/org/gvsig/andami/Launcher.java
Launcher.java | ||
---|---|---|
3239 | 3239 |
iconManager.setCurrent(iconTheme); |
3240 | 3240 |
} |
3241 | 3241 |
} |
3242 |
double scaleFactor; |
|
3243 |
try { |
|
3244 |
scaleFactor = prefs.getDouble("scaleFactor",1.0); |
|
3245 |
} catch(Throwable th) { |
|
3246 |
scaleFactor = 1.0; |
|
3247 |
} |
|
3248 |
iconManager.setScaleFactor(scaleFactor); |
|
3242 | 3249 |
} |
3243 | 3250 |
|
3244 | 3251 |
public static void manageUnsavedData(String prompt) throws Exception { |
Also available in: Unified diff