Revision 44143 trunk/org.gvsig.desktop/org.gvsig.desktop.framework/org.gvsig.andami/src/main/java/org/gvsig/andami/Launcher.java

View differences:

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