aboutsummaryrefslogtreecommitdiffstats
path: root/web/src/js/ducks
diff options
context:
space:
mode:
authorMaximilian Hils <git@maximilianhils.com>2017-10-25 15:57:16 +0200
committerMaximilian Hils <git@maximilianhils.com>2017-10-25 15:57:21 +0200
commitc2401e35f4483e68116b8e90bb58b70659ace682 (patch)
tree74528078af78b526e084997cfc2d49476f6ef0d0 /web/src/js/ducks
parent42895f4fec0f914d2ca3696c6962830140610e6e (diff)
downloadmitmproxy-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