Changeset 215 in josm for src/org/openstreetmap/josm/gui
- Timestamp:
- 2007-04-06T15:44:54+02:00 (18 years ago)
- Location:
- src/org/openstreetmap/josm/gui
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
src/org/openstreetmap/josm/gui/MapView.java
r214 r215 16 16 17 17 import org.openstreetmap.josm.Main; 18 import org.openstreetmap.josm.actions.AutoScaleAction; 18 19 import org.openstreetmap.josm.data.Bounds; 19 20 import org.openstreetmap.josm.data.SelectionChangedListener; … … 73 74 addComponentListener(new ComponentAdapter(){ 74 75 @Override public void componentResized(ComponentEvent e) { 75 recalculateCenterScale(null);76 new AutoScaleAction("data").actionPerformed(null); 76 77 removeComponentListener(this); 77 78 } -
src/org/openstreetmap/josm/gui/layer/markerlayer/Marker.java
r210 r215 75 75 76 76 // Try a relative file:// url, if the link is not in an URL-compatible form 77 if (relativePath != null && !URI.isWellFormedAddress(link)) 77 if (relativePath != null && link != null && !URI.isWellFormedAddress(link)) 78 78 link = new File(relativePath, link).toURI().toString(); 79 79 -
src/org/openstreetmap/josm/gui/preferences/PluginPreference.java
r181 r215 21 21 22 22 import org.openstreetmap.josm.Main; 23 import org.openstreetmap.josm.plugins.PluginException; 23 24 import org.openstreetmap.josm.plugins.PluginInformation; 24 25 import org.openstreetmap.josm.tools.GBC; … … 36 37 if (pluginFiles != null) { 37 38 Arrays.sort(pluginFiles); 38 for (File f : pluginFiles) 39 if (f.isFile() && f.getName().endsWith(".jar")) 40 availablePlugins.add(new PluginInformation(f)); 39 for (File f : pluginFiles) { 40 if (f.isFile() && f.getName().endsWith(".jar")) { 41 try { 42 availablePlugins.add(new PluginInformation(f)); 43 } catch (PluginException x) { 44 } 45 } 46 } 41 47 } 42 48
Note:
See TracChangeset
for help on using the changeset viewer.