Ignore:
Timestamp:
2007-12-31T17:49:15+01:00 (16 years ago)
Author:
gebner
Message:

Don't do hacky string mangling to get a URL from a File.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/src/org/openstreetmap/josm/gui/preferences/PluginPreference.java

    r474 r504  
    2323import java.util.TreeMap;
    2424import java.util.Map.Entry;
     25import java.net.URL;
    2526
    2627import javax.swing.AbstractAction;
    … …  
    5657                public String name;
    5758                public String description;
    58                 public String resource;
     59                public URL resource;
    5960                public String version;
    60                 public PluginDescription(String name, String description, String resource, String version) {
     61                public PluginDescription(String name, String description, URL resource, String version) {
    6162                        this.name = name;
    6263                        this.description = description;
    … …  
    212213                        pluginPanel.add(pluginCheck);
    213214
    214                         pluginCheck.setToolTipText(plugin.resource != null ? plugin.resource : tr("Plugin bundled with JOSM"));
     215                        pluginCheck.setToolTipText(plugin.resource != null ? ""+plugin.resource : tr("Plugin bundled with JOSM"));
    215216                        JLabel label = new JLabel("<html><i>"+(plugin.description==null?tr("no description available"):plugin.description)+"</i></html>");
    216217                        label.setBorder(BorderFactory.createEmptyBorder(0,20,0,0));
    … …  
    246247                                                        PluginInformation info = new PluginInformation(f);
    247248                                                        if (!availablePlugins.containsKey(info.name))
    248                                                                 availablePlugins.put(info.name, new PluginDescription(info.name, info.description, PluginInformation.getURLString(f.getPath()), info.version));
     249                                                                availablePlugins.put(info.name, new PluginDescription(
     250                                                                        info.name,
     251                                                                        info.description,
     252                                                                        PluginInformation.fileToURL(f),
     253                                                                        info.version));
    249254                                                } catch (PluginException x) {
    250255                                                }
    … …  
    268273                                                proxy.info.name,
    269274                                                proxy.info.description,
    270                                                 proxy.info.file == null ? null : PluginInformation.getURLString(proxy.info.file.getPath()),
    271                                                                 proxy.info.version));
     275                                                proxy.info.file == null ? null : PluginInformation.fileToURL(proxy.info.file),
     276                                                proxy.info.version));
    272277                return availablePlugins.values();
    273278        }
Note: See TracChangeset for help on using the changeset viewer.