Changeset 10505 in josm for trunk/src/org/openstreetmap/josm/gui/util

Timestamp:

2016-07-03T00:15:27+02:00 (8 years ago)

Author:

bastiK

Message:

see #9995 - change default gui scale from 'auto' (0) to 1.0 for stable release

File:

• trunk/src/org/openstreetmap/josm/gui/util/GuiSizesHelper.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/util/GuiSizesHelper.java

@@ -31 +31 @@
             synchronized (GuiHelper.class) {
                 if (screenDPI == -1) {
-                    float scalePref = (float) Main.pref.getDouble("gui.scale", 0);
+                    float scalePref = (float) Main.pref.getDouble("gui.scale", 1.0);
                     if (scalePref != 0) {
                         screenDPI = 96f * scalePref;