Changeset 15880 in josm

Timestamp:

2020-02-17T21:02:58+01:00 (4 years ago)

Author:

simon04

Message:

fix #18702 - DrawingPreference: swap "OSM Data" with "GPS Points"

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/display/DrawingPreference.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/display/DrawingPreference.java

@@ -74 +74 @@
     @Override
     public void addGui(PreferenceTabbedPane gui) {
+        addOsmPane(gui);
+        addGpxPane(gui);
+    }
+
+    private void addGpxPane(PreferenceTabbedPane gui) {
         gpxPanel = new GPXSettingsPanel();
         gui.addValidationListener(gpxPanel);
@@ -82 +87 @@
         GuiHelper.setDefaultIncrement(scrollpane);
         gui.getDisplayPreference().addSubTab(this, tr("GPS Points"), scrollpane);
-        panel = new JPanel(new GridBagLayout());
+    }
+
+    private void addOsmPane(PreferenceTabbedPane gui) {
+        JPanel panel = new JPanel(new GridBagLayout());
         panel.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));
 
@@ -201 +209 @@
 
         panel.add(Box.createVerticalGlue(), GBC.eol().fill(GBC.BOTH));
-        scrollpane = new JScrollPane(panel);
+        JScrollPane scrollpane = new JScrollPane(panel);
         scrollpane.setBorder(BorderFactory.createEmptyBorder(0, 0, 0, 0));
         GuiHelper.setDefaultIncrement(scrollpane);