Changeset 5923 in josm for trunk/src/org/openstreetmap/josm/gui/help
- Timestamp:
- 2013-05-04T03:30:57+02:00 (11 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/gui/help
- Files:
-
- 2 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();
Note:
See TracChangeset
for help on using the changeset viewer.