Changeset 2263 in osm for utils/josm

Timestamp:

2007-03-15T21:53:32+01:00 (18 years ago)

Author:

frederik

Message:

applied patch by Francisco R. Sanots <frsantos@…> to allow other plugins
to programmatically change WMS URLs

File:

• utils/josm/plugins/wmsplugin/src/wmsplugin/WMSPreferenceEditor.java (modified) (1 diff)

utils/josm/plugins/wmsplugin/src/wmsplugin/WMSPreferenceEditor.java

@@ -123 +123 @@
         }
         
+    /**
+     * Updates a server URL in the preferences dialog. Used by other plugins.
+     * 
+     * @param server The server name
+     * @param url The server URL
+     */
+    public void setServerUrl(String server, String url)
+    {
+        for (int i = 0; i < model.getRowCount(); i++) 
+        {
+            String name = model.getValueAt(i,1).toString();
+            if( name.equals(server) )
+            {
+                model.setValueAt(url, i, 2);
+                return;
+            }
+        }        
+
+        highestIdUsed++;
+        model.addRow(new String[]{Integer.toString(highestIdUsed), server, url});
+    }
+    
+    /**
+     * Gets a server URL in the preferences dialog. Used by other plugins.
+     * 
+     * @param server The server name
+     * @return The server URL
+     */
+    public String getServerUrl(String server)
+    {
+        for (int i = 0; i < model.getRowCount(); i++) 
+        {
+            String name = model.getValueAt(i,1).toString();
+            if( name.equals(server) )
+            {
+                String url = model.getValueAt(i,2).toString();
+                return url;
+            }
+        }
+        
+        return null;
+    }
 }