Ignore:
Timestamp:
2012-02-18T15:10:01+01:00 (13 years ago)
Author:
bastik
Message:

update because of core api change (preferences - rev. 4968)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • applications/editors/josm/plugins/osmarender/src/org/openstreetmap/josm/plugins/osmarender/OsmarenderPlugin.java

    r27243 r27857  
    3434import org.openstreetmap.josm.gui.preferences.PreferenceSetting;
    3535import org.openstreetmap.josm.gui.preferences.PreferenceTabbedPane;
     36import org.openstreetmap.josm.gui.preferences.SubPreferenceSetting;
     37import org.openstreetmap.josm.gui.preferences.TabPreferenceSetting;
    3638import org.openstreetmap.josm.io.OsmWriter;
    3739import org.openstreetmap.josm.io.OsmWriterFactory;
     
    142144
    143145    @Override public PreferenceSetting getPreferenceSetting() {
    144         return new PreferenceSetting(){
    145             private JTextField firefox = new JTextField(10);
    146             public void addGui(PreferenceTabbedPane gui) {
    147                 final JPanel panel = new JPanel(new GridBagLayout());
    148                 panel.setBorder(BorderFactory.createEmptyBorder( 0, 0, 0, 0 ));
    149 
    150                 panel.add(new JLabel(tr("Firefox executable")), GBC.std().insets(10,5,5,0));
    151                 panel.add(firefox, GBC.eol().insets(0,5,0,0).fill(GBC.HORIZONTAL));
    152                 panel.add(Box.createVerticalGlue(), GBC.eol().fill(GBC.BOTH));
    153                 firefox.setText(Main.pref.get("osmarender.firefox"));
    154                 gui.mapcontent.addTab(tr("Osmarender"), panel);
    155             }
    156             public boolean ok() {
    157                 Main.pref.put("osmarender.firefox", firefox.getText());
    158                 return false;
    159             }
    160         };
     146        return new OsmarenderPreferenceSetting();
     147    }
     148
     149    private class OsmarenderPreferenceSetting implements SubPreferenceSetting {
     150
     151        private JTextField firefox = new JTextField(10);
     152
     153        @Override
     154        public void addGui(PreferenceTabbedPane gui) {
     155            final JPanel panel = new JPanel(new GridBagLayout());
     156            panel.setBorder(BorderFactory.createEmptyBorder( 0, 0, 0, 0 ));
     157
     158            panel.add(new JLabel(tr("Firefox executable")), GBC.std().insets(10,5,5,0));
     159            panel.add(firefox, GBC.eol().insets(0,5,0,0).fill(GBC.HORIZONTAL));
     160            panel.add(Box.createVerticalGlue(), GBC.eol().fill(GBC.BOTH));
     161            firefox.setText(Main.pref.get("osmarender.firefox"));
     162            gui.getMapPreference().mapcontent.addTab(tr("Osmarender"), panel);
     163        }
     164
     165        @Override
     166        public boolean ok() {
     167            Main.pref.put("osmarender.firefox", firefox.getText());
     168            return false;
     169        }
     170
     171        @Override
     172        public boolean isExpert() {
     173            return false;
     174        }
     175
     176        @Override
     177        public TabPreferenceSetting getTabPreferenceSetting(final PreferenceTabbedPane gui) {
     178            return gui.getMapPreference();
     179        }
     180
    161181    }
    162182
Note: See TracChangeset for help on using the changeset viewer.