Changeset 18801 in josm for trunk/src/org/openstreetmap/josm/tools/GuiSizesHelper.java

Timestamp:

2023-08-09T15:30:01+02:00 (9 months ago)

Author:

taylor.smock

Message:

Fix #22832: Code cleanup and some simplification, documentation fixes (patch by gaben)

There should not be any functional changes in this patch; it is intended to do
the following:

• Simplify and cleanup code (example: Arrays.asList(item) -> Collections.singletonList(item))
• Fix typos in documentation (which also corrects the documentation to match what actually happens, in some cases)

File:

• trunk/src/org/openstreetmap/josm/tools/GuiSizesHelper.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/tools/GuiSizesHelper.java

@@ -11 +11 @@
  * Support class to handle size information of Gui elements
  * This is needed, because display resolution may vary a lot and a common set
- * of sizes wont work for all users alike.
+ * of sizes won't work for all users alike.
  * @since 12682 (moved from {@code gui.util} package)
  * @since 10358
@@ -22 +22 @@
 
     /** cache value for screen resolution */
-    private static float screenDPI = -1;
+    private static volatile float screenDPI = -1;
 
     /**