diff options
author | Aldo Cortesi <aldo@corte.si> | 2017-06-10 10:09:48 +1200 |
---|---|---|
committer | Aldo Cortesi <aldo@corte.si> | 2017-06-10 10:09:48 +1200 |
commit | 2054739c1ea607392f10907275cdf9affc96c6da (patch) | |
tree | 6b36ab491d5139b1500902f991103467bbcfb4e8 | |
parent | 040238e2555f65f58ee4926a39f4beaac6764ceb (diff) | |
download | mitmproxy-2054739c1ea607392f10907275cdf9affc96c6da.tar.gz mitmproxy-2054739c1ea607392f10907275cdf9affc96c6da.tar.bz2 mitmproxy-2054739c1ea607392f10907275cdf9affc96c6da.zip |
console: grideditors don't display their own titles anymore
-rw-r--r-- | mitmproxy/tools/console/grideditor/base.py | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/mitmproxy/tools/console/grideditor/base.py b/mitmproxy/tools/console/grideditor/base.py index 35ae655f..34af7e7b 100644 --- a/mitmproxy/tools/console/grideditor/base.py +++ b/mitmproxy/tools/console/grideditor/base.py @@ -280,12 +280,6 @@ class BaseGridEditor(urwid.WidgetWrap): first_width = max(len(r), first_width) self.first_width = min(first_width, FIRST_WIDTH_MAX) - title = None - if self.title: - title = urwid.Text(self.title) - title = urwid.Padding(title, align="left", width=("relative", 100)) - title = urwid.AttrWrap(title, "heading") - headings = [] for i, col in enumerate(self.columns): c = urwid.Text(col.heading) @@ -301,10 +295,7 @@ class BaseGridEditor(urwid.WidgetWrap): self.walker = GridWalker(self.value, self) self.lb = GridListBox(self.walker) - w = urwid.Frame( - self.lb, - header=urwid.Pile([title, h]) if title else None - ) + w = urwid.Frame(self.lb) super().__init__(w) signals.footer_help.send(self, helptext="") self.show_empty_msg() |