Ticket #18769: 18769.patch

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

@@ -342 +342 @@
         MainApplication.getLayerManager().removeLayerChangeListener(this);
         MainApplication.getLayerManager().removeActiveLayerChangeListener(this);
         MainApplication.getMenu().modeMenu.removeAll();
+        rememberToggleDialogWidth();
         dialogsPanel.destroy();
         Config.getPref().removePreferenceChangeListener(sidetoolbarPreferencesChangedListener);
         for (int i = 0; i < toolBarActions.getComponentCount(); ++i) {
@@ -738 +739 @@
      */
     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);
         }
     }