Add headings to other variable option groups

inducer · May 17, 2023 · 59edb72 · 59edb72
1 parent 090d394
commit 59edb72
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/pudb/debugger.py b/pudb/debugger.py
@@ -1150,8 +1150,11 @@ def edit_inspector_detail(w, size, key):
 
             lb = urwid.ListBox(urwid.SimpleListWalker(
                 id_segment
+                + [urwid.Text("Stringifier:")]
                 + rb_grp_show + [urwid.Text("")]
+                + [urwid.Text("Access:")]
                 + rb_grp_access + [urwid.Text("")]
+                + [urwid.Text("Options:")]
                 + [
                     wrap_checkbox,
                     expanded_checkbox,