mirror of
https://github.com/Grasscutters/mitmproxy.git
synced 2024-11-23 08:11:00 +00:00
minor changes
This commit is contained in:
parent
04ace3654a
commit
ee5c710464
@ -50,7 +50,7 @@ class Tabs(urwid.WidgetWrap):
|
|||||||
headers = []
|
headers = []
|
||||||
for i in range(len(self.tabs)):
|
for i in range(len(self.tabs)):
|
||||||
txt = self.tabs[i][0]()
|
txt = self.tabs[i][0]()
|
||||||
if i == self.tab_offset or (len(self.tabs) <= self.tab_offset and i == 0):
|
if i == self.tab_offset % len(self.tabs):
|
||||||
headers.append(
|
headers.append(
|
||||||
Tab(
|
Tab(
|
||||||
i,
|
i,
|
||||||
@ -70,7 +70,7 @@ class Tabs(urwid.WidgetWrap):
|
|||||||
)
|
)
|
||||||
headers = urwid.Columns(headers, dividechars=1)
|
headers = urwid.Columns(headers, dividechars=1)
|
||||||
self._w = urwid.Frame(
|
self._w = urwid.Frame(
|
||||||
body = self.tabs[self.tab_offset if len(self.tabs) < self.tab_offset else 0][1](),
|
body = self.tabs[self.tab_offset % len(self.tabs)][1](),
|
||||||
header = headers
|
header = headers
|
||||||
)
|
)
|
||||||
self._w.set_focus("body")
|
self._w.set_focus("body")
|
||||||
|
Loading…
Reference in New Issue
Block a user