Changeset 9078 in josm for trunk/src/org/openstreetmap/josm/gui/MenuScroller.java
- Timestamp:
- 2015-12-02T00:05:09+01:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MenuScroller.java
r8840 r9078 443 443 implements ChangeListener { 444 444 445 private MenuScrollTimer timer;445 private final MenuScrollTimer timer; 446 446 447 447 MenuScrollItem(MenuIcon icon, int increment) {
Note:
See TracChangeset
for help on using the changeset viewer.