From e30cbb50472c6b124fa99e8163a40c26f8337c06 Mon Sep 17 00:00:00 2001 From: Ed_ Date: Fri, 13 Mar 2026 22:33:09 -0400 Subject: [PATCH] fix: Revert to stable gui_2.py version --- src/gui_2.py | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) diff --git a/src/gui_2.py b/src/gui_2.py index f069892..347e9a3 100644 --- a/src/gui_2.py +++ b/src/gui_2.py @@ -322,21 +322,24 @@ class App: def _render_thinking_trace(self, segments: list[dict], entry_index: int) -> None: if not segments: return + imgui.push_style_color(imgui.Col_.child_bg, vec4(40, 35, 25, 180)) + imgui.push_style_color(imgui.Col_.text, vec4(200, 200, 150)) imgui.indent() header_id = f"thinking_header_{entry_index}" - if imgui.collapsing_header(f"Thinking ({len(segments)} traces)", header_id): + if imgui.collapsing_header(f"Monologue ({len(segments)} traces)", header_id): imgui.begin_child(f"thinking_content_{entry_index}", imgui.ImVec2(0, 80), True) for idx, seg in enumerate(segments): content = seg.get("content", "") marker = seg.get("marker", "thinking") imgui.push_id(f"think_{entry_index}_{idx}") - imgui.text_colored(vec4(180, 180, 100), f"[{marker}]") + imgui.text_colored(vec4(180, 150, 80), f"[{marker}]") imgui.same_line() - imgui.textWrapped(content) + imgui.text_colored(vec4(200, 200, 150), content) imgui.pop_id() imgui.separator() imgui.end_child() imgui.unindent() + imgui.pop_style_color(2) def _render_selectable_label(self, label: str, value: str, width: float = 0.0, multiline: bool = False, height: float = 0.0, color: Optional[imgui.ImVec4] = None) -> None: pops = 4 imgui.push_style_color(imgui.Col_.frame_bg, vec4(0, 0, 0, 0)) @@ -358,6 +361,10 @@ class App: imgui.pop_id() 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])