From 2261733aa40644f8602d439bc8257ba6642fb622 Mon Sep 17 00:00:00 2001
From: Haroon Qureshi <haroonq@google.com>
Date: Tue, 11 Nov 2025 05:33:15 -0800
Subject: [PATCH] Toggle profiler window using F3.

PiperOrigin-RevId: 830869956
Change-Id: I396f89f95672096f59b909b9415be2168aac6473
---
 src/experimental/studio/app.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/experimental/studio/app.cc b/src/experimental/studio/app.cc
index be56a585..d28abf7d 100644
--- a/src/experimental/studio/app.cc
+++ b/src/experimental/studio/app.cc
@@ -468,7 +468,9 @@ void App::HandleKeyboardEvents() {
   }
 
   // Visualization shortcuts.
-  if (ImGui_IsChordJustPressed(ImGuiKey_F6)) {
+  if (ImGui_IsChordJustPressed(ImGuiKey_F3)) {
+    ui_.profiler = !ui_.profiler;
+  } else if (ImGui_IsChordJustPressed(ImGuiKey_F6)) {
     vis_options_.frame = (vis_options_.frame + 1) % mjNFRAME;
   } else if (ImGui_IsChordJustPressed(ImGuiKey_F7)) {
     vis_options_.label = (vis_options_.label + 1) % mjNLABEL;