Changeset 9778 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/audio/AudioPreference.java

Timestamp:

2016-02-10T20:47:11+01:00 (8 years ago)

Author:

bastiK

Message:

see #12507 - fix mouse wheel scrolling at some places

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/audio/AudioPreference.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/audio/AudioPreference.java

@@ -17 +17 @@
 import org.openstreetmap.josm.gui.preferences.PreferenceTabbedPane;
 import org.openstreetmap.josm.gui.widgets.JosmTextField;
+import org.openstreetmap.josm.gui.widgets.VerticallyScrollablePanel;
 import org.openstreetmap.josm.tools.GBC;
 
@@ -56 +57 @@
     @Override
     public void addGui(PreferenceTabbedPane gui) {
-        JPanel audio = new JPanel(new GridBagLayout());
+        JPanel audio = new VerticallyScrollablePanel(new GridBagLayout());
 
         // audioMenuVisible