- Timestamp:
- 2017-08-28T11:50:49+02:00 (7 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/tools
- Files:
-
- 2 edited
- 1 moved
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/tools/GuiSizesHelper.java
r12681 r12682 1 1 // License: GPL. For details, see LICENSE file. 2 package org.openstreetmap.josm. gui.util;2 package org.openstreetmap.josm.tools; 3 3 4 4 import java.awt.Dimension; … … 12 12 * This is needed, because display resolution may vary a lot and a common set 13 13 * of sizes wont work for all users alike. 14 * @since 12682 (moved from {@code gui.util} package) 14 15 * @since 10358 15 16 */ … … 29 30 private static float getScreenDPI() { 30 31 if (screenDPI == -1) { 31 synchronized (Gui Helper.class) {32 synchronized (GuiSizesHelper.class) { 32 33 if (screenDPI == -1) { 33 34 float scalePref = (float) Main.pref.getDouble("gui.scale", 1.0); -
trunk/src/org/openstreetmap/josm/tools/ImageProvider.java
r12620 r12682 70 70 import org.openstreetmap.josm.gui.tagging.presets.TaggingPreset; 71 71 import org.openstreetmap.josm.gui.tagging.presets.TaggingPresets; 72 import org.openstreetmap.josm.gui.util.GuiSizesHelper;73 72 import org.openstreetmap.josm.io.CachedFile; 74 73 import org.openstreetmap.josm.plugins.PluginHandler; -
trunk/src/org/openstreetmap/josm/tools/ImageResource.java
r10755 r12682 15 15 import javax.swing.JPanel; 16 16 import javax.swing.UIManager; 17 18 import org.openstreetmap.josm.gui.util.GuiSizesHelper;19 17 20 18 import com.kitfox.svg.SVGDiagram;
Note:
See TracChangeset
for help on using the changeset viewer.