Show MuJoCo version in the help menu.

PiperOrigin-RevId: 875061430 Change-Id: I4d4ce32eebd8ca4af4622e9b4d1cd50d180d0b96
2026-02-25 03:10:42 -08:00
parent 27dc92b056
commit ae7efead09
1 changed files with 3 additions and 0 deletions
@@ -1777,6 +1777,9 @@ void App::MainMenuGui() {
      if (ImGui::MenuItem("ImPlot Demo")) {
        tmp_.implot_demo = !tmp_.implot_demo;
      }
+      ImGui::Separator();
+      std::string version = "Version " + std::string(mj_versionString());
+      ImGui::MenuItem(version.c_str());
      ImGui::EndMenu();
    }
    ImGui::EndMainMenuBar();