Changeset 27863 in osm for applications/editors/josm/plugins/czechaddress/src/org/openstreetmap
- Timestamp:
- 2012-02-18T18:03:10+01:00 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
applications/editors/josm/plugins/czechaddress/src/org/openstreetmap/josm/plugins/czechaddress/Preferences.java
r19347 r27863 5 5 6 6 import org.openstreetmap.josm.Main; 7 import org.openstreetmap.josm.gui.preferences.PreferenceSetting; 7 import org.openstreetmap.josm.gui.preferences.DefaultTabPreferenceSetting; 8 8 import org.openstreetmap.josm.gui.preferences.PreferenceTabbedPane; 9 9 /** … … 11 11 * @author radek 12 12 */ 13 public class Preferences extends javax.swing.JPanel implements PreferenceSetting { 13 public class Preferences extends DefaultTabPreferenceSetting { 14 15 public JPanel thisPanel; 14 16 15 17 public int optimize; … … 38 40 /** Creates new form Preferences */ 39 41 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(); 40 46 initComponents(); 41 47 addBuildingTag = Main.pref.getBoolean(KEY_BUILDINGTAG, buildingCheckBox.isSelected()); … … 73 79 buildingCheckBox = new javax.swing.JCheckBox(); 74 80 75 setLayout(new java.awt.GridLayout(1, 0)); 81 thisPanel.setLayout(new java.awt.GridLayout(1, 0)); 76 82 77 83 addNewTagCheckBox.setText("Novým primitivám přidávat tag:"); … … 153 159 ); 154 160 155 add(mainPanel); 161 thisPanel.add(mainPanel); 156 162 }// </editor-fold>//GEN-END:initComponents 157 163 … … 174 180 175 181 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); 179 183 p.add(mainPanel); 180 184 reloadSettings();
Note:
See TracChangeset
for help on using the changeset viewer.