Changeset 2162 in josm

Timestamp:

2009-09-20T09:52:57+02:00 (15 years ago)

Author:

stoecker

Message:

see #3550 - patch by bastik - resize dialogs on right side

Location:

trunk/src/org/openstreetmap/josm

Files:

• Main.java (modified) (3 diffs)
• gui/MapFrame.java (modified) (8 diffs)
• gui/dialogs/ToggleDialog.java (modified) (6 diffs)

trunk/src/org/openstreetmap/josm/Main.java

@@ -575 +575 @@
 
     static public void saveGuiGeometry() {
-        // save the current window geometry
+        // save the current window geometry and the width of the toggle dialog area
         String newGeometry = "";
+        String newToggleDlgWidth = "";
         try {
             if (((JFrame)parent).getExtendedState() == JFrame.NORMAL) {
@@ -599 +600 @@
                 newGeometry = width + "x" + height + "+" + x + "+" + y;
             }
+            
+            newToggleDlgWidth = Integer.toString(map.getToggleDlgWidth());
+            if (newToggleDlgWidth.equals(Integer.toString(map.DEF_TOGGLE_DLG_WIDTH))) {
+                newToggleDlgWidth = "";
+            }
         }
         catch (Exception e) {
@@ -604 +610 @@
         }
         pref.put("gui.geometry", newGeometry);
+        pref.put("toggleDialogs.width", newToggleDlgWidth);
     }
 

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

@@ -6 +6 @@
 import java.awt.Component;
 import java.awt.Container;
+import java.awt.Dimension;
 import java.util.ArrayList;
 
@@ -12 +13 @@
 import javax.swing.BoxLayout;
 import javax.swing.ButtonGroup;
+import javax.swing.JSplitPane;
 import javax.swing.JPanel;
 import javax.swing.JToolBar;
+import javax.swing.border.Border;
+import javax.swing.plaf.basic.BasicSplitPaneUI;
+import javax.swing.plaf.basic.BasicSplitPaneDivider;
 
 import org.openstreetmap.josm.Main;
@@ -24 +29 @@
 import org.openstreetmap.josm.gui.dialogs.CommandStackDialog;
 import org.openstreetmap.josm.gui.dialogs.ConflictDialog;
+import org.openstreetmap.josm.gui.dialogs.FilterDialog;
 import org.openstreetmap.josm.gui.dialogs.HistoryDialog;
 import org.openstreetmap.josm.gui.dialogs.LayerListDialog;
@@ -29 +35 @@
 import org.openstreetmap.josm.gui.dialogs.RelationListDialog;
 import org.openstreetmap.josm.gui.dialogs.SelectionListDialog;
-import org.openstreetmap.josm.gui.dialogs.FilterDialog;
 import org.openstreetmap.josm.gui.dialogs.ToggleDialog;
 import org.openstreetmap.josm.gui.dialogs.UserListDialog;
@@ -74 +79 @@
 
     public final ButtonGroup toolGroup = new ButtonGroup();
+    
+    /**
+     * Default width of the toggle dialog area.
+     */
+    public final int DEF_TOGGLE_DLG_WIDTH = 330;
 
     public MapFrame() {
@@ -79 +89 @@
         setLayout(new BorderLayout());
 
-        add(mapView = new MapView(), BorderLayout.CENTER);
+        mapView = new MapView();
 
         new FileDrop(mapView);
@@ -96 +106 @@
         toolGroup.setSelected(((AbstractButton)toolBarActions.getComponent(0)).getModel(), true);
 
-        add(toggleDialogs, BorderLayout.EAST);
+        JSplitPane splitPane = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT, true,
+                             mapView, toggleDialogs); 
+
+        /**
+         * All additional space goes to the mapView
+         */
+        splitPane.setResizeWeight(1.0);
+        
+        /**
+         * Some beautifications.
+         */
+        splitPane.setDividerSize(5);
+        splitPane.setBorder(null);
+        splitPane.setUI(new BasicSplitPaneUI() {
+            public BasicSplitPaneDivider createDefaultDivider() {
+                return new BasicSplitPaneDivider(this) {
+                    public void setBorder(Border b) {
+                    }
+                };
+            }
+        });
+        
+        add(splitPane, BorderLayout.CENTER);
+
         toggleDialogs.setLayout(new BoxLayout(toggleDialogs, BoxLayout.Y_AXIS));
+        toggleDialogs.setPreferredSize(new Dimension(Main.pref.getInteger("toggleDialogs.width",DEF_TOGGLE_DLG_WIDTH), 0));
+                                                                        
+        toggleDialogs.setMinimumSize(new Dimension(24, 0));
+        mapView.setMinimumSize(new Dimension(10,0));
 
         toolBarToggle.setFloatable(false);
@@ -268 +305 @@
         return null;
     }
+
+    /**
+     * Returns the current width of the (possibly resized) toggle dialog area
+     */
+    public int getToggleDlgWidth() {
+        return toggleDialogs.getWidth();
+    }
 }

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

@@ -97 +97 @@
     private boolean isCollapsed;
 
-    /** the preferred width of all docked toggle dialogs */
-    final private int TOGGLE_DIALOG_WIDTH = 330;
     /** the preferred height if the toggle dialog is expanded */
     private int preferredHeight;
@@ -131 +129 @@
      */
     private void init(String name, String iconName, String tooltip, Shortcut shortcut, final int preferredHeight) {
-        setPreferredSize(new Dimension(TOGGLE_DIALOG_WIDTH, preferredHeight));
+        /** Use the full width of the parent element */
+        setPreferredSize(new Dimension(0, preferredHeight));
+        /** Override any minimum sizes of child elements so the user can resize freely */
+        setMinimumSize(new Dimension(0,0));
         this.preferredHeight = preferredHeight;
         toggleAction = new ToggleDialogAction(name, "dialogs/"+iconName, tooltip, shortcut, iconName);
@@ -139 +140 @@
         setLayout(new BorderLayout());
 
-        // show the minimize button
+        /** show the minimize button */
         lblMinimized = new JLabel(ImageProvider.get("misc", "normal"));
         titleBar = new TitleBar(name, iconName);
@@ -185 +186 @@
         isCollapsed = true;
         Main.pref.put(preferencePrefix+".minimized", true);
-        setPreferredSize(new Dimension(TOGGLE_DIALOG_WIDTH,20));
-        setMaximumSize(new Dimension(TOGGLE_DIALOG_WIDTH,20));
+        setPreferredSize(new Dimension(0,20));
+        setMaximumSize(new Dimension(Integer.MAX_VALUE,20));
         lblMinimized.setIcon(ImageProvider.get("misc", "minimized"));
         refreshToggleDialogsView();
@@ -198 +199 @@
         isCollapsed = false;
         Main.pref.put(preferencePrefix+".minimized", false);
-        setPreferredSize(new Dimension(TOGGLE_DIALOG_WIDTH,preferredHeight));
-        setMaximumSize(new Dimension(Short.MAX_VALUE, Short.MAX_VALUE));
+        setPreferredSize(new Dimension(0,preferredHeight));
+        setMaximumSize(new Dimension(Integer.MAX_VALUE, Integer.MAX_VALUE));
         lblMinimized.setIcon(ImageProvider.get("misc", "normal"));
         refreshToggleDialogsView();
@@ -522 +523 @@
      */
     protected Dimension getDefaultDetachedSize() {
-        return new Dimension(TOGGLE_DIALOG_WIDTH, preferredHeight);
+        return new Dimension(Main.map.DEF_TOGGLE_DLG_WIDTH, preferredHeight);
     }
 }