2015-04-03 01:10:57 +00:00
|
|
|
import urwid
|
|
|
|
|
|
|
|
from . import common, signals
|
|
|
|
|
|
|
|
help_context = None
|
|
|
|
|
|
|
|
|
|
|
|
class OptionWidget(urwid.WidgetWrap):
|
2015-04-03 01:38:04 +00:00
|
|
|
def __init__(self, option, text, shortcut, active, focus):
|
2015-04-03 01:10:57 +00:00
|
|
|
self.option = option
|
2015-04-03 01:38:04 +00:00
|
|
|
textattr = "text"
|
|
|
|
keyattr = "key"
|
2015-04-03 01:10:57 +00:00
|
|
|
if focus and active:
|
2015-04-03 01:38:04 +00:00
|
|
|
textattr = "option_active_selected"
|
2015-04-03 01:10:57 +00:00
|
|
|
elif focus:
|
2015-04-03 01:38:04 +00:00
|
|
|
textattr = "option_selected"
|
|
|
|
keyattr = "option_selected_key"
|
2015-04-03 01:10:57 +00:00
|
|
|
elif active:
|
2015-04-03 01:38:04 +00:00
|
|
|
textattr = "option_active"
|
|
|
|
text = common.highlight_key(
|
|
|
|
text,
|
|
|
|
shortcut,
|
|
|
|
textattr=textattr,
|
|
|
|
keyattr=keyattr
|
|
|
|
)
|
|
|
|
opt = urwid.Text(text, align="center")
|
|
|
|
opt = urwid.AttrWrap(opt, textattr)
|
2015-04-03 01:10:57 +00:00
|
|
|
opt = urwid.Padding(opt, align="center", width=("relative", 20))
|
|
|
|
urwid.WidgetWrap.__init__(self, opt)
|
|
|
|
|
|
|
|
def keypress(self, size, key):
|
|
|
|
return key
|
|
|
|
|
|
|
|
def selectable(self):
|
|
|
|
return True
|
|
|
|
|
|
|
|
|
|
|
|
class OptionWalker(urwid.ListWalker):
|
|
|
|
def __init__(self, options):
|
|
|
|
urwid.ListWalker.__init__(self)
|
|
|
|
self.options = options
|
|
|
|
self.focus = 0
|
|
|
|
signals.update_settings.connect(self.sig_update_settings)
|
|
|
|
|
|
|
|
def sig_update_settings(self, sender):
|
|
|
|
self._modified()
|
|
|
|
|
|
|
|
def set_focus(self, pos):
|
|
|
|
self.focus = pos
|
|
|
|
|
|
|
|
def get_focus(self):
|
|
|
|
return self.options[self.focus].render(True), self.focus
|
|
|
|
|
|
|
|
def get_next(self, pos):
|
|
|
|
if pos >= len(self.options)-1:
|
|
|
|
return None, None
|
|
|
|
return self.options[pos+1].render(False), pos+1
|
|
|
|
|
|
|
|
def get_prev(self, pos):
|
|
|
|
if pos <= 0:
|
|
|
|
return None, None
|
|
|
|
return self.options[pos-1].render(False), pos-1
|
|
|
|
|
|
|
|
|
|
|
|
class OptionListBox(urwid.ListBox):
|
|
|
|
def __init__(self, options):
|
|
|
|
urwid.ListBox.__init__(
|
|
|
|
self,
|
|
|
|
OptionWalker(options)
|
|
|
|
)
|
2015-04-03 01:38:04 +00:00
|
|
|
self.options = options
|
|
|
|
self.keymap = {}
|
|
|
|
for i in options:
|
|
|
|
self.keymap[i.shortcut] = i
|
2015-04-03 01:10:57 +00:00
|
|
|
|
|
|
|
def keypress(self, size, key):
|
|
|
|
key = common.shortcuts(key)
|
|
|
|
if key == "enter":
|
2015-04-03 01:38:04 +00:00
|
|
|
self.get_focus()[0].option.activate()
|
|
|
|
return None
|
|
|
|
if key in self.keymap:
|
|
|
|
self.keymap[key].activate()
|
|
|
|
self.set_focus(self.options.index(self.keymap[key]))
|
2015-04-03 01:10:57 +00:00
|
|
|
return None
|
|
|
|
return super(self.__class__, self).keypress(size, key)
|
|
|
|
|
|
|
|
|
|
|
|
_neg = lambda: False
|
|
|
|
class Option:
|
2015-04-03 01:38:04 +00:00
|
|
|
def __init__(self, text, shortcut, getstate=None, activate=None):
|
2015-04-03 01:10:57 +00:00
|
|
|
self.text = text
|
2015-04-03 01:38:04 +00:00
|
|
|
self.shortcut = shortcut
|
2015-04-03 01:10:57 +00:00
|
|
|
self.getstate = getstate or _neg
|
2015-04-03 01:38:04 +00:00
|
|
|
self.activate = activate or _neg
|
2015-04-03 01:10:57 +00:00
|
|
|
|
|
|
|
def render(self, focus):
|
2015-04-03 01:38:04 +00:00
|
|
|
return OptionWidget(self, self.text, self.shortcut, self.getstate(), focus)
|
2015-04-03 01:10:57 +00:00
|
|
|
|
|
|
|
|
|
|
|
class Options(urwid.WidgetWrap):
|
|
|
|
def __init__(self, master):
|
|
|
|
self.master = master
|
|
|
|
self.lb = OptionListBox(
|
|
|
|
[
|
|
|
|
Option(
|
|
|
|
"Anti-Cache",
|
2015-04-03 01:38:04 +00:00
|
|
|
"C",
|
2015-04-03 01:10:57 +00:00
|
|
|
lambda: master.anticache,
|
|
|
|
self.toggle_anticache
|
|
|
|
),
|
|
|
|
Option(
|
|
|
|
"Anti-Compression",
|
2015-04-03 01:38:04 +00:00
|
|
|
"o",
|
2015-04-03 01:10:57 +00:00
|
|
|
lambda: master.anticomp,
|
|
|
|
self.toggle_anticomp
|
|
|
|
),
|
|
|
|
#Option("Header Set Patterns"),
|
|
|
|
#Option("Ignore Patterns"),
|
|
|
|
Option(
|
|
|
|
"Kill Extra",
|
2015-04-03 01:38:04 +00:00
|
|
|
"E",
|
2015-04-03 01:10:57 +00:00
|
|
|
lambda: master.killextra,
|
|
|
|
self.toggle_killextra
|
|
|
|
),
|
|
|
|
#Option("Manage Scripts"),
|
|
|
|
#Option("Replacement Patterns"),
|
|
|
|
Option(
|
|
|
|
"Show Host",
|
2015-04-03 01:38:04 +00:00
|
|
|
"H",
|
2015-04-03 01:10:57 +00:00
|
|
|
lambda: master.showhost,
|
|
|
|
self.toggle_showhost
|
|
|
|
),
|
|
|
|
#Option("Sticky Cookies"),
|
|
|
|
#Option("Sticky Auth"),
|
|
|
|
#Option("TCP Proxying"),
|
|
|
|
Option(
|
|
|
|
"No Refresh",
|
2015-04-03 01:38:04 +00:00
|
|
|
"R",
|
2015-04-03 01:10:57 +00:00
|
|
|
lambda: not master.refresh_server_playback,
|
|
|
|
self.toggle_refresh_server_playback
|
|
|
|
),
|
|
|
|
Option(
|
|
|
|
"No Upstream Certs",
|
2015-04-03 01:38:04 +00:00
|
|
|
"U",
|
2015-04-03 01:10:57 +00:00
|
|
|
lambda: master.server.config.no_upstream_cert,
|
|
|
|
self.toggle_upstream_cert
|
|
|
|
),
|
|
|
|
]
|
|
|
|
)
|
|
|
|
title = urwid.Text("Options")
|
|
|
|
title = urwid.Padding(title, align="left", width=("relative", 100))
|
|
|
|
title = urwid.AttrWrap(title, "heading")
|
|
|
|
self._w = urwid.Frame(
|
|
|
|
self.lb,
|
|
|
|
header = title
|
|
|
|
)
|
|
|
|
self.master.loop.widget.footer.update("")
|
|
|
|
|
|
|
|
def toggle_anticache(self):
|
|
|
|
self.master.anticache = not self.master.anticache
|
|
|
|
|
|
|
|
def toggle_anticomp(self):
|
|
|
|
self.master.anticomp = not self.master.anticomp
|
|
|
|
|
|
|
|
def toggle_killextra(self):
|
|
|
|
self.master.killextra = not self.master.killextra
|
|
|
|
|
|
|
|
def toggle_showhost(self):
|
|
|
|
self.master.showhost = not self.master.showhost
|
|
|
|
|
|
|
|
def toggle_refresh_server_playback(self):
|
|
|
|
self.master.refresh_server_playback = not self.master.refresh_server_playback
|
|
|
|
|
|
|
|
def toggle_upstream_cert(self):
|
|
|
|
self.master.server.config.no_upstream_cert = not self.master.server.config.no_upstream_cert
|
|
|
|
signals.update_settings.send(self)
|