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

Timestamp:

2009-09-02T22:01:39+02:00 (15 years ago)

Author:

Gubaer

Message:

applied #3368: patch by xeen: make prefs tab strip react to scroll events

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceDialog.java (modified) (4 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceDialog.java

@@ -7 +7 @@
 import java.awt.GridBagLayout;
 import java.awt.ScrollPane;
+import java.awt.event.MouseWheelEvent;
+import java.awt.event.MouseWheelListener;
 import java.util.ArrayList;
 import java.util.Collection;
@@ -33 +35 @@
  * @author imi
  */
-public class PreferenceDialog extends JTabbedPane {
+public class PreferenceDialog extends JTabbedPane implements MouseWheelListener {
 
     private final static Collection<PreferenceSettingFactory> settingsFactory = new LinkedList<PreferenceSettingFactory>();
@@ -116 +118 @@
     public PreferenceDialog() {
         super(JTabbedPane.LEFT, JTabbedPane.SCROLL_TAB_LAYOUT);
+
+        super.addMouseWheelListener(this);
 
         for (PreferenceSettingFactory factory:settingsFactory) {
@@ -174 +178 @@
         settingsFactory.add(new AdvancedPreference.Factory());
     }
+
+    /**
+     * This mouse wheel listener reacts when a scroll is carried out over the
+     * tab strip and scrolls one tab/down or up, selecting it immediately.
+     */
+    public void mouseWheelMoved(MouseWheelEvent wev) {
+        // Ensure the cursor is over the tab strip
+        if(super.indexAtLocation(wev.getPoint().x, wev.getPoint().y) < 0)
+            return;
+
+        // Get currently selected tab
+        int newTab = super.getSelectedIndex() + wev.getWheelRotation();
+
+        // Ensure the new tab index is sound
+        newTab = newTab < 0 ? 0 : newTab;
+        newTab = newTab >= super.getTabCount() ? super.getTabCount() - 1 : newTab;
+
+        // select new tab
+        super.setSelectedIndex(newTab);
+    }
 }