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

update because of core api change: 2nd part (preferences - rev. 4968)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • applications/editors/josm/plugins/czechaddress/src/org/openstreetmap/josm/plugins/czechaddress/Preferences.java

    r19347 r27863  
    55
    66import org.openstreetmap.josm.Main;
    7 import org.openstreetmap.josm.gui.preferences.PreferenceSetting;
     7import org.openstreetmap.josm.gui.preferences.DefaultTabPreferenceSetting;
    88import org.openstreetmap.josm.gui.preferences.PreferenceTabbedPane;
    99/**
     
    1111 * @author radek
    1212 */
    13 public class Preferences extends javax.swing.JPanel implements PreferenceSetting {
     13public class Preferences extends DefaultTabPreferenceSetting {
     14
     15    public JPanel thisPanel;
    1416
    1517    public int optimize;
     
    3840    /** Creates new form Preferences */
    3941    private Preferences() {
     42        super("czech_flag",
     43                "Nastavení CzechAddressPlugin",
     44                "Nastavení pluginu pro úpravu a zadávání adres na území ČR.");
     45        thisPanel = new JPanel();
    4046        initComponents();
    4147        addBuildingTag = Main.pref.getBoolean(KEY_BUILDINGTAG,    buildingCheckBox.isSelected());
     
    7379        buildingCheckBox = new javax.swing.JCheckBox();
    7480
    75         setLayout(new java.awt.GridLayout(1, 0));
     81        thisPanel.setLayout(new java.awt.GridLayout(1, 0));
    7682
    7783        addNewTagCheckBox.setText("Novým primitivám přidávat tag:");
     
    153159        );
    154160
    155         add(mainPanel);
     161        thisPanel.add(mainPanel);
    156162    }// </editor-fold>//GEN-END:initComponents
    157163
     
    174180
    175181    public void addGui(PreferenceTabbedPane gui) {
    176         JPanel p = gui.createPreferenceTab("czech_flag",
    177                 "Nastavení CzechAddressPlugin",
    178                 "Nastavení pluginu pro úpravu a zadávání adres na území ČR.");
     182        JPanel p = gui.createPreferenceTab(this);
    179183        p.add(mainPanel);
    180184        reloadSettings();
Note: See TracChangeset for help on using the changeset viewer.