Changeset 5092 in josm for trunk/src/org

Timestamp:

2012-03-16T22:36:45+01:00 (12 years ago)

Author:

simon04

Message:

Toggle edit toolbar (in View menu or in popup menu)

Location:

trunk/src/org/openstreetmap/josm

Files:

• actions/PreferenceToggleAction.java (added)
• gui/MainMenu.java (modified) (2 diffs)
• gui/MapFrame.java (modified) (2 diffs)

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

@@ -91 +91 @@
 import org.openstreetmap.josm.actions.ZoomOutAction;
 import org.openstreetmap.josm.actions.OrthogonalizeAction.Undo;
+import org.openstreetmap.josm.actions.PreferenceToggleAction;
 import org.openstreetmap.josm.actions.audio.AudioBackAction;
 import org.openstreetmap.josm.actions.audio.AudioFasterAction;
@@ -515 +516 @@
         add(viewMenu, historyinfoweb);
         viewMenu.addSeparator();
+        viewMenu.add(new PreferenceToggleAction(tr("Edit toolbar"),
+                tr("Toggles the visibility of the edit toolbar (i.e., the vertical tool)"),
+                "sidetoolbar.visible", true).getCheckbox());
         // -- expert mode toggle action
         final JCheckBoxMenuItem expertItem = new JCheckBoxMenuItem(ExpertToggleAction.getInstance());

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

@@ -49 +49 @@
 import org.openstreetmap.josm.actions.mapmode.SelectAction;
 import org.openstreetmap.josm.actions.mapmode.ZoomAction;
+import org.openstreetmap.josm.data.Preferences;
+import org.openstreetmap.josm.data.Preferences.PreferenceChangeEvent;
 import org.openstreetmap.josm.gui.MapView.LayerChangeListener;
 import org.openstreetmap.josm.gui.dialogs.ChangesetDialog;
@@ -397 +399 @@
         }
 
-        if(Main.pref.getBoolean("sidetoolbar.visible", true))
-        {
-            if(Main.pref.getBoolean("sidetoolbar.scrollable", true)) {
-                final ScrollViewport svp = new ScrollViewport(jb, ScrollViewport.VERTICAL_DIRECTION);
-                panel.add(svp, BorderLayout.WEST);
-                jb.addMouseWheelListener(new MouseWheelListener() {
-                    public void mouseWheelMoved(MouseWheelEvent e) {
-                        svp.scroll(0,e.getUnitsToScroll() * 5);
+        final Component toToggle;
+        if (Main.pref.getBoolean("sidetoolbar.scrollable", true)) {
+            final ScrollViewport svp = new ScrollViewport(jb, ScrollViewport.VERTICAL_DIRECTION);
+            toToggle = svp;
+            panel.add(svp, BorderLayout.WEST);
+            jb.addMouseWheelListener(new MouseWheelListener() {
+
+                public void mouseWheelMoved(MouseWheelEvent e) {
+                    svp.scroll(0, e.getUnitsToScroll() * 5);
+                }
+            });
+        } else {
+            toToggle = jb;
+            panel.add(jb, BorderLayout.WEST);
+        }
+        toToggle.setVisible(Main.pref.getBoolean("sidetoolbar.visible", true));
+
+        jb.addMouseListener(new PopupMenuLauncher(new JPopupMenu() {
+
+            {
+                add(new AbstractAction(tr("Hide edit toolbar")) {
+
+                    @Override
+                    public void actionPerformed(ActionEvent e) {
+                        Main.pref.put("sidetoolbar.visible", false);
                     }
                 });
-            } else {
-                panel.add(jb, BorderLayout.WEST);
-            }
-        }
+            }
+        }));
+
+        Main.pref.addPreferenceChangeListener(new Preferences.PreferenceChangedListener() {
+
+            @Override
+            public void preferenceChanged(PreferenceChangeEvent e) {
+                if ("sidetoolbar.visible".equals(e.getKey())) {
+                    toToggle.setVisible(Main.pref.getBoolean("sidetoolbar.visible"));
+                }
+            }
+        });
+
         if (statusLine != null && Main.pref.getBoolean("statusline.visible", true)) {
             panel.add(statusLine, BorderLayout.SOUTH);