several people report the zoom box with three dots ... instead of a n…

…umber on Windows
cpesch · Jan 25, 2024 · 3cd46a4 · 3cd46a4
1 parent d600327
commit 3cd46a4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mapsforge-mapview/src/main/java/slash/navigation/mapview/mapsforge/MapSelector.java b/mapsforge-mapview/src/main/java/slash/navigation/mapview/mapsforge/MapSelector.java
@@ -91,7 +91,7 @@ public MapSelector(MapsforgeMapManager mapManager, final AwtGraphicMapView mapVi
         });
         int width = getMaxWidth("19", 0);
         // several people report the zoom box with three dots ... instead of a number on Windows
-        if(isWindows())
+        if (isWindows())
             width = width * 2;
         comboBoxZoom.setMaximumSize(new Dimension(width, comboBoxZoom.getMaximumSize().height));
         comboBoxZoom.setPreferredSize(new Dimension(width, comboBoxZoom.getPreferredSize().height));