Update UI when rendering flags are changed via user_scn.

PiperOrigin-RevId: 603679619 Change-Id: If094836f97c8086a7f70bd235b8c8cc8ab69c639
2024-02-02 07:15:42 -08:00
parent 7bb0ce4211
commit 914a001753
1 changed files with 1 additions and 0 deletions
@@ -2096,6 +2096,7 @@ void Simulate::Sync() {
      for (int i = 0; i < mjNRNDFLAG; ++i) {
        if (user_scn->flags[i] != user_scn_flags_prev_[i]) {
          scn.flags[i] = user_scn->flags[i];
+          pending_.ui_update_rendering = true;
        }
      }
      Copy(user_scn->flags, scn.flags);