Remove unused mjMOUSE_SELECT option.

PiperOrigin-RevId: 799957524 Change-Id: I69d091781dc2a2e4a762d2255d04fc411295602a
2025-08-27 03:18:15 -07:00
parent 7443e685ac
commit ed6fa7fe09
5 changed files with 10 additions and 9 deletions
@@ -574,7 +574,6 @@ ENUMS: Mapping[str, EnumDecl] = dict([
             ('mjMOUSE_MOVE_V', 3),
             ('mjMOUSE_MOVE_H', 4),
             ('mjMOUSE_ZOOM', 5),
-             ('mjMOUSE_SELECT', 6),
         ]),
     )),
    ('mjtPertBit',