Changeset 4928 in josm

Timestamp:

Feb 14, 2012 11:43:15 AM (16 months ago)

Author:

stoecker

Message:

fix group numbers, so they stay unique also after adding new groups

File:

• trunk/src/org/openstreetmap/josm/tools/Shortcut.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/tools/Shortcut.java

@@ -322 +322 @@
      */
     public static final int GROUP_DIRECT3 = 8;
-    public static final int GROUP__MAX = 9;
     public static final int GROUP_RESERVED = 1000;
     public static final int GROUPS_DEFAULT = 0;
-    public static final int GROUPS_ALT1 = GROUP__MAX;
-    public static final int GROUPS_ALT2 = GROUP__MAX * 2;
+    public static final int GROUPS_ALT1 = 100;
+    public static final int GROUPS_ALT2 = 200;
 
     // bootstrap