Advanced playback options GUI

eth-ait · Aug 20, 2023 · 3f24c41 · 3f24c41
1 parent 027b762
commit 3f24c41
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/aitviewer/viewer.py b/aitviewer/viewer.py
@@ -1115,7 +1115,7 @@ def gui_export_video(self):
     def gui_playback(self):
         """GUI to control playback settings."""
         imgui.set_next_window_position(50, 100 + self.window_size[1] * 0.7, imgui.FIRST_USE_EVER)
-        imgui.set_next_window_size(self.window_size[0] * 0.4, self.window_size[1] * 0.15, imgui.FIRST_USE_EVER)
+        imgui.set_next_window_size(self.window_size[0] * 0.4, self.window_size[1] * 0.175, imgui.FIRST_USE_EVER)
         expanded, _ = imgui.begin("Playback", None)
         if expanded:
             u, run_animations = imgui.checkbox(
@@ -1162,6 +1162,8 @@ def gui_playback(self):
                 max_value=n_frames - 1,
             )
             self.prevent_background_interactions()
+        if imgui.collapsing_header("Advanced options")[0]:
+            _, self.playback_without_skipping = imgui.checkbox("Playback without skipping", self.playback_without_skipping)
         imgui.end()
 
     def gui_shortcuts(self):