Changeset 12841 in josm for trunk/src/org/openstreetmap/josm/gui/mappaint/styleelement/StyleElement.java

Timestamp:

2017-09-13T16:30:27+02:00 (7 years ago)

Author:

bastiK

Message:

see #15229 - fix deprecations caused by [12840]

File:

• trunk/src/org/openstreetmap/josm/gui/mappaint/styleelement/StyleElement.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/mappaint/styleelement/StyleElement.java

@@ -148 +148 @@
                 s = defaultFontSize;
                 if (s == null) {
-                    defaultFontSize = s = (float) Main.pref.getInteger("mappaint.fontsize", 8);
+                    defaultFontSize = s = (float) Main.pref.getInt("mappaint.fontsize", 8);
                 }
             }