196 lines
5.6 KiB
Python
196 lines
5.6 KiB
Python
import math
|
|
|
|
import urwid
|
|
|
|
from mitmproxy.tools.console import grideditor
|
|
from mitmproxy.tools.console import keymap
|
|
from mitmproxy.tools.console import layoutwidget
|
|
from mitmproxy.tools.console import signals
|
|
|
|
|
|
class SimpleOverlay(urwid.Overlay, layoutwidget.LayoutWidget):
|
|
def __init__(self, master, widget, parent, width, valign="middle"):
|
|
self.widget = widget
|
|
self.master = master
|
|
super().__init__(
|
|
widget, parent, align="center", width=width, valign=valign, height="pack"
|
|
)
|
|
|
|
@property
|
|
def keyctx(self):
|
|
return getattr(self.widget, "keyctx")
|
|
|
|
# mypy: Cannot override writeable attribute with read-only property
|
|
@keyctx.setter
|
|
def keyctx(self, value):
|
|
raise RuntimeError # pragma: no cover
|
|
|
|
def key_responder(self):
|
|
return self.widget.key_responder()
|
|
|
|
def focus_changed(self):
|
|
return self.widget.focus_changed()
|
|
|
|
def view_changed(self):
|
|
return self.widget.view_changed()
|
|
|
|
def layout_popping(self):
|
|
return self.widget.layout_popping()
|
|
|
|
|
|
class Choice(urwid.WidgetWrap):
|
|
def __init__(self, txt, focus, current, shortcut):
|
|
if shortcut:
|
|
selection_type = "option_selected_key" if focus else "key"
|
|
txt = [(selection_type, shortcut), ") ", txt]
|
|
else:
|
|
txt = " " + txt
|
|
if current:
|
|
s = "option_active_selected" if focus else "option_active"
|
|
else:
|
|
s = "option_selected" if focus else "text"
|
|
super().__init__(
|
|
urwid.AttrMap(
|
|
urwid.Padding(urwid.Text(txt)),
|
|
s,
|
|
)
|
|
)
|
|
|
|
def selectable(self):
|
|
return True
|
|
|
|
def keypress(self, size, key):
|
|
return key
|
|
|
|
|
|
class ChooserListWalker(urwid.ListWalker):
|
|
shortcuts = "123456789abcdefghijklmnoprstuvwxyz"
|
|
|
|
def __init__(self, choices, current):
|
|
self.index = 0
|
|
self.choices = choices
|
|
self.current = current
|
|
|
|
def _get(self, idx, focus):
|
|
c = self.choices[idx]
|
|
return Choice(c, focus, c == self.current, self.shortcuts[idx : idx + 1])
|
|
|
|
def set_focus(self, index):
|
|
self.index = index
|
|
|
|
def get_focus(self):
|
|
return self._get(self.index, True), self.index
|
|
|
|
def get_next(self, pos):
|
|
if pos >= len(self.choices) - 1:
|
|
return None, None
|
|
pos = pos + 1
|
|
return self._get(pos, False), pos
|
|
|
|
def get_prev(self, pos):
|
|
pos = pos - 1
|
|
if pos < 0:
|
|
return None, None
|
|
return self._get(pos, False), pos
|
|
|
|
def choice_by_shortcut(self, shortcut):
|
|
for i, choice in enumerate(self.choices):
|
|
if shortcut == self.shortcuts[i : i + 1]:
|
|
return choice
|
|
return None
|
|
|
|
|
|
class Chooser(urwid.WidgetWrap, layoutwidget.LayoutWidget):
|
|
keyctx = "chooser"
|
|
|
|
def __init__(self, master, title, choices, current, callback):
|
|
self.master = master
|
|
self.choices = choices
|
|
self.callback = callback
|
|
choicewidth = max(len(i) for i in choices)
|
|
self.width = max(choicewidth, len(title)) + 7
|
|
|
|
self.walker = ChooserListWalker(choices, current)
|
|
super().__init__(
|
|
urwid.AttrMap(
|
|
urwid.LineBox(
|
|
urwid.BoxAdapter(urwid.ListBox(self.walker), len(choices)),
|
|
title=title,
|
|
),
|
|
"background",
|
|
)
|
|
)
|
|
|
|
def selectable(self):
|
|
return True
|
|
|
|
def keypress(self, size, key):
|
|
key = self.master.keymap.handle_only("chooser", key)
|
|
choice = self.walker.choice_by_shortcut(key)
|
|
if choice:
|
|
self.callback(choice)
|
|
signals.pop_view_state.send()
|
|
return
|
|
if key == "m_select":
|
|
self.callback(self.choices[self.walker.index])
|
|
signals.pop_view_state.send()
|
|
return
|
|
elif key in ["q", "esc"]:
|
|
signals.pop_view_state.send()
|
|
return
|
|
|
|
binding = self.master.keymap.get("global", key)
|
|
# This is extremely awkward. We need a better way to match nav keys only.
|
|
if binding and binding.command.startswith("console.nav"):
|
|
self.master.keymap.handle("global", key)
|
|
elif key in keymap.navkeys:
|
|
return super().keypress(size, key)
|
|
|
|
|
|
class OptionsOverlay(urwid.WidgetWrap, layoutwidget.LayoutWidget):
|
|
keyctx = "grideditor"
|
|
|
|
def __init__(self, master, name, vals, vspace):
|
|
"""
|
|
vspace: how much vertical space to keep clear
|
|
"""
|
|
cols, rows = master.ui.get_cols_rows()
|
|
self.ge = grideditor.OptionsEditor(master, name, vals)
|
|
super().__init__(
|
|
urwid.AttrMap(
|
|
urwid.LineBox(urwid.BoxAdapter(self.ge, rows - vspace), title=name),
|
|
"background",
|
|
)
|
|
)
|
|
self.width = math.ceil(cols * 0.8)
|
|
|
|
def key_responder(self):
|
|
return self.ge.key_responder()
|
|
|
|
def layout_popping(self):
|
|
return self.ge.layout_popping()
|
|
|
|
|
|
class DataViewerOverlay(urwid.WidgetWrap, layoutwidget.LayoutWidget):
|
|
keyctx = "dataviewer"
|
|
|
|
def __init__(self, master, vals):
|
|
"""
|
|
vspace: how much vertical space to keep clear
|
|
"""
|
|
cols, rows = master.ui.get_cols_rows()
|
|
self.ge = grideditor.DataViewer(master, vals)
|
|
super().__init__(
|
|
urwid.AttrMap(
|
|
urwid.LineBox(urwid.BoxAdapter(self.ge, rows - 5), title="Data viewer"),
|
|
"background",
|
|
)
|
|
)
|
|
self.width = math.ceil(cols * 0.8)
|
|
|
|
def key_responder(self):
|
|
return self.ge.key_responder()
|
|
|
|
def layout_popping(self):
|
|
return self.ge.layout_popping()
|