Grasscutters/mitmproxy
3
0
Fork 0
mirror of https://github.com/Grasscutters/mitmproxy.git synced 2024-11-22 07:08:10 +00:00
Code Issues Projects Releases Wiki Activity

Merge pull request #3157 from gcmurphy/issue/3147

Browse Source 
Adjust options when changed
This commit is contained in:
Aldo Cortesi 2018-05-26 10:51:24 +12:00 committed by GitHub
commit 8a76970944
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
mitmproxy/optmanager.py
View File

@ -107,6 +107,7 @@ class OptManager:
choices: typing.Optional[typing.Sequence[str]] = None
) -> None:
self._options[name] = _Option(name, typespec, default, help, choices)
self.changed.send(self, updated={name})
@contextlib.contextmanager
def rollback(self, updated, reraise=False):

2
mitmproxy/tools/console/options.py
View File

@ -106,6 +106,8 @@ class OptionListWalker(urwid.ListWalker):
self.master.options.changed.connect(self.sig_mod)
def sig_mod(self, *args, **kwargs):
self.opts = sorted(self.master.options.keys())
self.maxlen = max(len(i) for i in self.opts)
self._modified()
self.set_focus(self.index)