In place change to reverse Z rendering and 32 bit float offscreen depth buffer

introspect/enums.py

@@ -621,24 +621,6 @@ ENUMS: Mapping[str, EnumDecl] = dict([
              ('mjFB_OFFSCREEN', 1),
          ]),
      )),
-    ('mjtDepthMapping',
-     EnumDecl(
-         name='mjtDepthMapping',
-         declname='enum mjtDepthMapping_',
-         values=dict([
-             ('mjDB_NEGONETOONE', 0),
-             ('mjDB_ONETOZERO', 1),
-         ]),
-     )),
-    ('mjtDepthPrecision',
-     EnumDecl(
-         name='mjtDepthPrecision',
-         declname='enum mjtDepthPrecision_',
-         values=dict([
-             ('mjDB_INT24', 0),
-             ('mjDB_FLOAT32', 1),
-         ]),
-     )),
     ('mjtFontScale',
      EnumDecl(
          name='mjtFontScale',

introspect/structs.py

@@ -7126,16 +7126,6 @@ STRUCTS: Mapping[str, StructDecl] = dict([
                  type=ValueType(name='int'),
                  doc='default color pixel format for mjr_readPixels',
              ),
-             StructFieldDecl(
-                 name='depthMapping',
-                 type=ValueType(name='int'),
-                 doc='depth buffer mapping from [znear zfar] to normalized device coordinates: mjDB_NEGONETOONE or mjDB_ONETOZERO',  # pylint: disable=line-too-long
-             ),
-             StructFieldDecl(
-                 name='depthPrecision',
-                 type=ValueType(name='int'),
-                 doc='depth buffer precision: mjDB_INT24 or mjDB_FLOAT32',
-             ),
          ),
      )),
     ('mjuiState',