diff options
| author | Aldo Cortesi <aldo@corte.si> | 2016-07-13 22:57:31 +1200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-13 22:57:31 +1200 |
| commit | efc0b9fe7f8420abb03bbfce9316afee9cfa4c5c (patch) | |
| tree | 59e17892e13a20c051512dfd2bd6a5af5d30ca03 /mitmproxy/console/options.py | |
| parent | 2624911d75670afaff8631943d567bfa2b42d7b8 (diff) | |
| parent | 077850bd107d7ffe1cf3d4a8667bb04ea47beb96 (diff) | |
| download | mitmproxy-efc0b9fe7f8420abb03bbfce9316afee9cfa4c5c.tar.gz mitmproxy-efc0b9fe7f8420abb03bbfce9316afee9cfa4c5c.tar.bz2 mitmproxy-efc0b9fe7f8420abb03bbfce9316afee9cfa4c5c.zip | |
Merge pull request #1347 from cortesi/options
Options
Diffstat (limited to 'mitmproxy/console/options.py')
| -rw-r--r-- | mitmproxy/console/options.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mitmproxy/console/options.py b/mitmproxy/console/options.py index 5a01c9d5..6a4b8dd6 100644 --- a/mitmproxy/console/options.py +++ b/mitmproxy/console/options.py @@ -140,6 +140,7 @@ class Options(urwid.WidgetWrap): ) self.master.loop.widget.footer.update("") signals.update_settings.connect(self.sig_update_settings) + master.options.changed.connect(self.sig_update_settings) def sig_update_settings(self, sender): self.lb.walker._modified() |