diff --git a/gui_2.py b/gui_2.py index 8d9bf19..227ec66 100644 --- a/gui_2.py +++ b/gui_2.py @@ -1613,6 +1613,10 @@ class App: # ---------------------------------------------------------------- gui def _show_menus(self) -> None: + if imgui.begin_menu("manual slop"): + if imgui.menu_item("Quit", "Ctrl+Q", False)[0]: + self.runner_params.app_shall_exit = True + imgui.end_menu() if imgui.begin_menu("Windows"): for w in self.show_windows.keys(): _, self.show_windows[w] = imgui.menu_item(w, "", self.show_windows[w])