From 2054739c1ea607392f10907275cdf9affc96c6da Mon Sep 17 00:00:00 2001 From: Aldo Cortesi Date: Sat, 10 Jun 2017 10:09:48 +1200 Subject: [PATCH] console: grideditors don't display their own titles anymore --- mitmproxy/tools/console/grideditor/base.py | 11 +---------- 1 file changed, 1 insertion(+), 10 deletions(-) diff --git a/mitmproxy/tools/console/grideditor/base.py b/mitmproxy/tools/console/grideditor/base.py index 35ae655f5..34af7e7bc 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()