Changeset 8399 in josm for trunk/src/org/openstreetmap/josm/gui/MapStatus.java
- Timestamp:
- 2015-05-19T23:04:25+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MapStatus.java
r8390 r8399 732 732 private final JMenuItem jumpButton = add(Main.main.menu.jumpToAct); 733 733 734 private final transientCollection<JCheckBoxMenuItem> somItems = new ArrayList<>();734 private final Collection<JCheckBoxMenuItem> somItems = new ArrayList<>(); 735 735 736 736 private final JSeparator separator = new JSeparator();
Note:
See TracChangeset
for help on using the changeset viewer.