mirror of
https://gitlab.freedesktop.org/mesa/mesa.git
synced 2025-12-21 02:50:09 +01:00
bin/pick: use lineboxes to make the UI clearer
This commit is contained in:
parent
1ff39cd3a0
commit
42afa2c911
1 changed files with 2 additions and 2 deletions
|
|
@ -125,7 +125,7 @@ class UI:
|
||||||
def _make_body(self) -> 'urwid.Columns':
|
def _make_body(self) -> 'urwid.Columns':
|
||||||
commits = urwid.ListBox(self.commit_list)
|
commits = urwid.ListBox(self.commit_list)
|
||||||
feedback = urwid.ListBox(self.feedback_box)
|
feedback = urwid.ListBox(self.feedback_box)
|
||||||
return urwid.Columns([commits, feedback])
|
return urwid.Columns([urwid.LineBox(commits), urwid.LineBox(feedback)])
|
||||||
|
|
||||||
def _make_footer(self) -> 'urwid.Columns':
|
def _make_footer(self) -> 'urwid.Columns':
|
||||||
body = [
|
body = [
|
||||||
|
|
@ -139,7 +139,7 @@ class UI:
|
||||||
return urwid.Columns(body)
|
return urwid.Columns(body)
|
||||||
|
|
||||||
def _make_root(self) -> 'RootWidget':
|
def _make_root(self) -> 'RootWidget':
|
||||||
return RootWidget(self.body, self.header, self.footer, 'body', ui=self)
|
return RootWidget(self.body, urwid.LineBox(self.header), urwid.LineBox(self.footer), 'body', ui=self)
|
||||||
|
|
||||||
def render(self) -> 'WidgetType':
|
def render(self) -> 'WidgetType':
|
||||||
asyncio.ensure_future(self.update())
|
asyncio.ensure_future(self.update())
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue