From ae7efead09eca112efd5d913d40ae8b83ead952a Mon Sep 17 00:00:00 2001
From: Haroon Qureshi <haroonq@google.com>
Date: Wed, 25 Feb 2026 03:10:42 -0800
Subject: [PATCH] Show MuJoCo version in the help menu.

PiperOrigin-RevId: 875061430
Change-Id: I4d4ce32eebd8ca4af4622e9b4d1cd50d180d0b96
---
 src/experimental/studio/app.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/experimental/studio/app.cc b/src/experimental/studio/app.cc
index bade8680..6d33f5af 100644
--- a/src/experimental/studio/app.cc
+++ b/src/experimental/studio/app.cc
@@ -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();