Changeset 10505 in josm


Ignore:
Timestamp:
2016-07-03T00:15:27+02:00 (3 years ago)
Author:
bastiK
Message:

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/util/GuiSizesHelper.java

    r10409 r10505  
    3131            synchronized (GuiHelper.class) {
    3232                if (screenDPI == -1) {
    33                     float scalePref = (float) Main.pref.getDouble("gui.scale", 0);
     33                    float scalePref = (float) Main.pref.getDouble("gui.scale", 1.0);
    3434                    if (scalePref != 0) {
    3535                        screenDPI = 96f * scalePref;
Note: See TracChangeset for help on using the changeset viewer.