Changeset 19347 in osm for applications/editors/josm

Timestamp:

2010-01-09T19:27:36+01:00 (15 years ago)

Author:

jttt

Message:

Fixed compilation problem

Location:

applications/editors/josm/plugins/czechaddress

Files:

• build.xml (modified) (1 diff)
• src/org/openstreetmap/josm/plugins/czechaddress/Preferences.java (modified) (4 diffs)

applications/editors/josm/plugins/czechaddress/build.xml

@@ -52 +52 @@
             <attribute name="Plugin-Description" value="Creating and handling address nodes and buildings within Czech Republic."/>
             <attribute name="Plugin-Link" value="http://wiki.openstreetmap.org/index.php/Cz:JOSM/Plugins/CzechAddress"/>
-            <attribute name="Plugin-Mainversion" value="2620"/>
+            <attribute name="Plugin-Mainversion" value="2754"/>
             <attribute name="Plugin-Version" value="${version.entry.commit.revision}"/>
         </manifest>

applications/editors/josm/plugins/czechaddress/src/org/openstreetmap/josm/plugins/czechaddress/Preferences.java

@@ -3 +3 @@
 
 import javax.swing.JPanel;
+
 import org.openstreetmap.josm.Main;
-import org.openstreetmap.josm.gui.preferences.PreferenceDialog;
 import org.openstreetmap.josm.gui.preferences.PreferenceSetting;
+import org.openstreetmap.josm.gui.preferences.PreferenceTabbedPane;
 /**
  *
@@ -47 +48 @@
     public void reloadSettings() {
         buildingCheckBox.setSelected(addBuildingTag);
-                
+
         addNewTagCheckBox.setSelected(addNewTag);
         addNewTagKeyField.setText(addNewTagKey);
@@ -60 +61 @@
      * always regenerated by the Form Editor.
      */
-    @SuppressWarnings("unchecked")
     // <editor-fold defaultstate="collapsed" desc="Generated Code">//GEN-BEGIN:initComponents
     private void initComponents() {
@@ -173 +173 @@
     }//GEN-LAST:event_buildingCheckBoxActionPerformed
 
-    public void addGui(PreferenceDialog gui) {
+    public void addGui(PreferenceTabbedPane gui) {
         JPanel p = gui.createPreferenceTab("czech_flag",
                 "Nastavení CzechAddressPlugin",