Changeset 16132 in josm for trunk/src/org/openstreetmap

Timestamp:

2020-03-15T13:26:29+01:00 (6 years ago)

Author:

GerdP

Message:

fix #18769: Each time I open JOSM, the right pane gets slightly wider
Correct the calculation of the preference value toggleDialogs.width

File:

• trunk/src/org/openstreetmap/josm/gui/MapFrame.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/MapFrame.java

@@ -343 +343 @@
         MainApplication.getLayerManager().removeActiveLayerChangeListener(this);
         MainApplication.getMenu().modeMenu.removeAll();
+        rememberToggleDialogWidth();
         dialogsPanel.destroy();
         Config.getPref().removePreferenceChangeListener(sidetoolbarPreferencesChangedListener);
@@ -739 +740 @@
     public void rememberToggleDialogWidth() {
         if (dialogsPanel.isVisible()) {
-            TOGGLE_DIALOGS_WIDTH.put(splitPane.getWidth() - splitPane.getDividerLocation());
+            TOGGLE_DIALOGS_WIDTH.put(splitPane.getWidth() - splitPane.getDividerLocation() - splitPane.getDividerSize() - 1);
         }
     }