Changeset 6223 in josm for trunk/src/org/openstreetmap/josm/gui/help
- Timestamp:
- 2013-09-08T05:51:16+02:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/help/HelpBrowserHistory.java
r5923 r6223 52 52 boolean add=true; 53 53 54 if (historyPos >= 0 && historyPos < history.size() && history.get(historyPos).equals(url .toString())) {54 if (historyPos >= 0 && historyPos < history.size() && history.get(historyPos).equals(url)) { 55 55 add = false; 56 56 } else if (historyPos == history.size() -1) {
Note:
See TracChangeset
for help on using the changeset viewer.