Changeset 9778 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/validator

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/validator/ValidatorTestsPreference.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/validator/ValidatorTestsPreference.java

@@ -27 +27 @@
 import org.openstreetmap.josm.gui.preferences.TabPreferenceSetting;
 import org.openstreetmap.josm.gui.util.GuiHelper;
+import org.openstreetmap.josm.gui.widgets.VerticallyScrollablePanel;
 import org.openstreetmap.josm.tools.GBC;
 
@@ -55 +56 @@
     @Override
     public void addGui(PreferenceTabbedPane gui) {
-        JPanel testPanel = new JPanel(new GridBagLayout());
+        JPanel testPanel = new VerticallyScrollablePanel(new GridBagLayout());
         testPanel.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));