Changeset 5923 in josm
- Timestamp:
- 2013-05-04T03:30:57+02:00 (12 years ago)
- Location:
- trunk/src/org/openstreetmap/josm
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/help/HelpBrowser.java
r5915 r5923 222 222 } 223 223 224 /** 225 * Constructs a new {@code HelpBrowser}. 226 */ 224 227 public HelpBrowser() { 225 228 reader = new HelpContentReader(HelpUtil.getWikiBaseUrl()); … … 386 389 + "This is most likely due to a network problem, please check<br>" 387 390 + "your internet connection</html>", 388 url .toString()391 url 389 392 ), 390 393 tr("Failed to open URL"), -
trunk/src/org/openstreetmap/josm/gui/help/HelpBrowserHistory.java
r3083 r5923 52 52 boolean add=true; 53 53 54 if (historyPos >= 0 && historyPos < history.size() && history.get(historyPos). toString().equals(url.toString())) {54 if (historyPos >= 0 && historyPos < history.size() && history.get(historyPos).equals(url.toString())) { 55 55 add = false; 56 56 } else if (historyPos == history.size() -1) { … … 65 65 if(add) 66 66 { 67 history.add(url);68 historyPos = history.size()-1;67 history.add(url); 68 historyPos = history.size()-1; 69 69 } 70 70 setChanged(); -
trunk/src/org/openstreetmap/josm/plugins/PluginListParser.java
r5307 r5923 38 38 name.substring(0, name.length() - 4), 39 39 url 40 );40 ); 41 41 } catch(UnsupportedEncodingException e) { 42 42 throw new PluginListParseException(tr("Failed to create plugin information from manifest for plugin ''{0}''", name), e); … … 73 73 } 74 74 B; 75 */75 */ 76 76 for (String line = r.readLine(); line != null; line = r.readLine()) { 77 77 if (line.startsWith("\t")) { … … 87 87 String x[] = line.split(";"); 88 88 if(x.length != 2) 89 throw new IOException(tr("Illegal entry in plugin list."));89 throw new IOException(tr("Illegal entry in plugin list.")); 90 90 name = x[0]; 91 91 url = x[1]; … … 103 103 try { 104 104 if (name != null) { 105 PluginInformation info = createInfo(name, url, manifest .toString());105 PluginInformation info = createInfo(name, url, manifest); 106 106 if (info != null) { 107 107 for (PluginProxy plugin : PluginHandler.pluginList) {
Note:
See TracChangeset
for help on using the changeset viewer.