Add a disable flag for sensors.

PiperOrigin-RevId: 469473066 Change-Id: I296ed790c6261c4fb15b349540edcb77e53e0567
2022-08-23 09:02:15 -07:00
parent 83ce236479
commit 090fe2db3f
11 changed files with 101 additions and 18 deletions
@@ -752,6 +752,7 @@ void mjXWriter::Option(XMLElement* root) {
    WRITEDSBL("filterparent",   mjDSBL_FILTERPARENT)
    WRITEDSBL("actuation",      mjDSBL_ACTUATION)
    WRITEDSBL("refsafe",        mjDSBL_REFSAFE)
+    WRITEDSBL("sensor",         mjDSBL_SENSOR)
 #undef WRITEDSBL

 #define WRITEENBL(NAME, MASK) \