Changeset 18755 in josm for trunk/src/org/openstreetmap/josm/actions

Timestamp:

2023-06-14T14:10:09+02:00 (19 months ago)

Author:

taylor.smock

Message:

Fix #22751: Improve fullscreen mode (patch by kolesar, modified)

• Remove 1 pixel border drawn around map
• Remove 1 pixel border drawn when in ImproveWayAccuracy mode and in the SELECTING state when there is a way under the mouse
• Add advanced preference (navigation.always-visible, default true) which hides zoom and scale controls

Modifications are cleaning up some SonarLint issues.

File:

• trunk/src/org/openstreetmap/josm/actions/DialogsToggleAction.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/actions/DialogsToggleAction.java

@@ -66 +66 @@
                 MapFrame.SIDE_TOOLBAR_VISIBLE.put(selected);
             }
+            map.mapView.setMapNavigationComponentVisibility(selected || Config.getPref().getBoolean("navigation.always-visible", true));
             map.mapView.rememberLastPositionOnScreen();
         }