Changeset 9243 in josm for trunk/src/org/openstreetmap/josm/gui/MainMenu.java
- Timestamp:
- 2016-01-01T19:51:11+01:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MainMenu.java
r9204 r9243 573 573 } 574 574 575 /** finds the correct insertion index for a given group and adds separators if necessary */ 575 /** 576 * Finds the correct insertion index for a given group and adds separators if necessary 577 * @param menu menu 578 * @param group group number 579 * @return correct insertion index 580 */ 576 581 private static int getInsertionIndexForGroup(JMenu menu, int group) { 577 582 if (group < 0)
Note:
See TracChangeset
for help on using the changeset viewer.