Changeset 15880 in josm


Ignore:
Timestamp:
2020-02-17T21:02:58+01:00 (6 weeks ago)
Author:
simon04
Message:

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/preferences/display/DrawingPreference.java

    r14648 r15880  
    7474    @Override
    7575    public void addGui(PreferenceTabbedPane gui) {
     76        addOsmPane(gui);
     77        addGpxPane(gui);
     78    }
     79
     80    private void addGpxPane(PreferenceTabbedPane gui) {
    7681        gpxPanel = new GPXSettingsPanel();
    7782        gui.addValidationListener(gpxPanel);
     
    8287        GuiHelper.setDefaultIncrement(scrollpane);
    8388        gui.getDisplayPreference().addSubTab(this, tr("GPS Points"), scrollpane);
    84         panel = new JPanel(new GridBagLayout());
     89    }
     90
     91    private void addOsmPane(PreferenceTabbedPane gui) {
     92        JPanel panel = new JPanel(new GridBagLayout());
    8593        panel.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));
    8694
     
    201209
    202210        panel.add(Box.createVerticalGlue(), GBC.eol().fill(GBC.BOTH));
    203         scrollpane = new JScrollPane(panel);
     211        JScrollPane scrollpane = new JScrollPane(panel);
    204212        scrollpane.setBorder(BorderFactory.createEmptyBorder(0, 0, 0, 0));
    205213        GuiHelper.setDefaultIncrement(scrollpane);
Note: See TracChangeset for help on using the changeset viewer.