From 1707058f381d7fed36acb504ee26b41601f16c6c Mon Sep 17 00:00:00 2001 From: Michael van der Kamp Date: Wed, 29 Jun 2022 11:17:07 -0700 Subject: [PATCH] Add headings to other variable option groups --- pudb/debugger.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/pudb/debugger.py b/pudb/debugger.py index 706abafc..ff111925 100644 --- a/pudb/debugger.py +++ b/pudb/debugger.py @@ -1132,8 +1132,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,