diff options
| author | Maximilian Hils <git@maximilianhils.com> | 2017-10-25 15:57:16 +0200 |
|---|---|---|
| committer | Maximilian Hils <git@maximilianhils.com> | 2017-10-25 15:57:21 +0200 |
| commit | c2401e35f4483e68116b8e90bb58b70659ace682 (patch) | |
| tree | 74528078af78b526e084997cfc2d49476f6ef0d0 /web/src/js/ducks | |
| parent | 42895f4fec0f914d2ca3696c6962830140610e6e (diff) | |
| download | mitmproxy-c2401e35f4483e68116b8e90bb58b70659ace682.tar.gz mitmproxy-c2401e35f4483e68116b8e90bb58b70659ace682.tar.bz2 mitmproxy-c2401e35f4483e68116b8e90bb58b70659ace682.zip | |
[web] move options editor from file menu to options menu
ultimately we probably want to open the options editor immediately if someone presses "Options".
This still requires us to
1. have a nicer editors for common settings.
2. Add a "view event log" button somewhere else,
for example in the footer.
For now, the options editor is marked as beta, as there are some options you
clearly do not want to edit (e.g. wfile).
Diffstat (limited to 'web/src/js/ducks')
0 files changed, 0 insertions, 0 deletions