Changeset 9909 in osm for applications/editors/josm/plugins/validator/src/org

Timestamp:

2008-08-17T12:24:09+02:00 (16 years ago)

Author:

stoecker

Message:

fixed loading additional files

File:

• applications/editors/josm/plugins/validator/src/org/openstreetmap/josm/plugins/validator/tests/TagChecker.java (modified) (4 diffs)

applications/editors/josm/plugins/validator/src/org/openstreetmap/josm/plugins/validator/tests/TagChecker.java

@@ -5 +5 @@
 import java.awt.event.ActionEvent;
 import java.awt.event.ActionListener;
+import java.awt.Dimension;
 import java.awt.GridBagLayout;
 import java.io.BufferedReader;
@@ -176 +177 @@
                 for(String source: sources.split(";"))
                 {
-                        File sourceFile = Util.mirror(new URL(source), Util.getPluginDir(), -1);
+                        File sourceFile = null;
+                        try
+                        {
+                                sourceFile = Util.mirror(new URL(source), Util.getPluginDir(), -1);
+                        }
+                        catch(java.net.MalformedURLException e) {}
                         if( sourceFile == null || !sourceFile.exists() )
                         {
-                                errorSources += source + "\n";
-                                continue;
+                                sourceFile = new File(source);
+                                if( sourceFile == null || !sourceFile.exists() )
+                                {
+                                        errorSources += source + "\n";
+                                        continue;
+                                }
                         }
 
@@ -465 +475 @@
 
                 String sources = Main.pref.get( PREF_SOURCES );
-                for(String source : sources.split(";"))
-                        ((DefaultListModel)Sources.getModel()).addElement(source);
+                if(sources != null && sources.length() > 0)
+                {
+                        for(String source : sources.split(";"))
+                                ((DefaultListModel)Sources.getModel()).addElement(source);
+                }
 
                 addSrcButton = new JButton(tr("Add"));
@@ -519 +532 @@
                         }
                 });
+                Sources.setMinimumSize(new Dimension(300,50));
                 Sources.setVisibleRowCount(3);