Ticket #24808: JosmToggleDialog.3.patch

src/org/openstreetmap/josm/gui/dialogs/ToggleDialog.java

@@ -440 +440 @@
      */
     public void collapse() {
         if (isDialogInDefaultView()) {
+            int titlebarHeight = Config.getPref().getInt("toggledialog.titlebar.height", 
+                (int)(20 * Config.getPref().getDouble("gui.scale", 1.0)));
             setContentVisible(false);
             setIsCollapsed(true);
-            setPreferredSize(new Dimension(0, 20));
-            setMaximumSize(new Dimension(Integer.MAX_VALUE, 20));
-            setMinimumSize(new Dimension(Integer.MAX_VALUE, 20));
+            setPreferredSize(new Dimension(0, titlebarHeight));
+            setMaximumSize(new Dimension(Integer.MAX_VALUE, titlebarHeight));
+            setMinimumSize(new Dimension(Integer.MAX_VALUE, titlebarHeight));
             titleBar.lblMinimized.setIcon(ImageProvider.get("misc", "minimized"));
         } else
             throw new IllegalStateException();
@@ -569 +571 @@
                     lblTitle.paint(g);
                 }
             };
-            lblTitleWeak.setPreferredSize(new Dimension(Integer.MAX_VALUE, 20));
-            lblTitleWeak.setMinimumSize(new Dimension(0, 20));
+            int titlebarHeight = Config.getPref().getInt("toggledialog.titlebar.height", 
+                (int)(20 * Config.getPref().getDouble("gui.scale", 1.0)));
+            lblTitleWeak.setPreferredSize(new Dimension(Integer.MAX_VALUE, titlebarHeight));
+            lblTitleWeak.setMinimumSize(new Dimension(0, titlebarHeight));
             add(lblTitleWeak, GBC.std().fill(GridBagConstraints.HORIZONTAL));
 
             buttonsHide = new JButton(ImageProvider.get("misc", buttonHiding != ButtonHidingType.ALWAYS_SHOWN