Add support for global custom numeric fields.

PiperOrigin-RevId: 495865065 Change-Id: I59ed65e84a0bcaa90220b938ed34fdc26165aa09
2022-12-16 07:02:47 -08:00
parent 516d13d678
commit f70403d00a
6 changed files with 90 additions and 93 deletions
@@ -74,7 +74,7 @@ public class MjcfGenerationContext {

    var settings = MjGlobalSettings.Instance;
    if (settings) {
-      settings.OptionSizeToMjcf(optionMjcf, null);
+      settings.GlobalsToMjcf(mjcf);
    }
  }