Changeset 8318 in josm for trunk/src/org/openstreetmap/josm/gui/help
- Timestamp:
- 2015-05-03T18:34:33+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/help/HelpBrowserHistory.java
r7005 r8318 57 57 } else if (historyPos == history.size() -1) { 58 58 // do nothing just append 59 } else if (historyPos ==0 && history.size() > 0) {59 } else if (historyPos ==0 && !history.isEmpty()) { 60 60 history = new ArrayList<>(Collections.singletonList(history.get(0))); 61 61 } else if (historyPos < history.size() -1 && historyPos > 0) {
Note:
See TracChangeset
for help on using the changeset viewer.