Add contact labels showing which geom pairs are in contact.

PiperOrigin-RevId: 510422404 Change-Id: Ia73570098752e7c7175e4b5a5f2a0f8b08a6c006
2023-02-17 07:02:37 -08:00
parent a6730aa740
commit 2607e67f8d
10 changed files with 31 additions and 6 deletions
@@ -471,8 +471,9 @@ ENUMS: Mapping[str, EnumDecl] = dict([
             ('mjLABEL_SKIN', 10),
             ('mjLABEL_SELECTION', 11),
             ('mjLABEL_SELPNT', 12),
-             ('mjLABEL_CONTACTFORCE', 13),
-             ('mjNLABEL', 14),
+             ('mjLABEL_CONTACTPOINT', 13),
+             ('mjLABEL_CONTACTFORCE', 14),
+             ('mjNLABEL', 15),
         ]),
     )),
    ('mjtFrame',