chenlin/Mujoco_WASM
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Toggle profiler window using F3.

Browse Source 
PiperOrigin-RevId: 830869956
Change-Id: I396f89f95672096f59b909b9415be2168aac6473
This commit is contained in:
Haroon Qureshi
2025-11-11 05:33:15 -08:00
committed by Copybara-Service
parent 1fbea85ef0
commit 2261733aa4
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/experimental/studio/app.cc
+3 -1
View File
@@ -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;