Add overlay positions in the center of viewport edges, move PAUSE and LOADING... overlays to the top center.

PiperOrigin-RevId: 570054949 Change-Id: If0046df382e67ad3a48e7138a75e9e200c0626b9
2023-10-02 07:03:58 -07:00
parent 639e77876d
commit 177aec68dc
6 changed files with 49 additions and 16 deletions
@@ -610,6 +610,10 @@ ENUMS: Mapping[str, EnumDecl] = dict([
             ('mjGRID_TOPRIGHT', 1),
             ('mjGRID_BOTTOMLEFT', 2),
             ('mjGRID_BOTTOMRIGHT', 3),
+             ('mjGRID_TOP', 4),
+             ('mjGRID_BOTTOM', 5),
+             ('mjGRID_LEFT', 6),
+             ('mjGRID_RIGHT', 7),
         ]),
     )),
    ('mjtFramebuffer',