See bug 1444301 comment 45. The "options" panel is now (or soon, anyway) part of the meatball menu which has the label "settings" so it would be better if we just refer to settings everywhere.
Interestingly one of the shortcut keys for this panel is Cmd/Ctrl-Shift-O (the other being F1).
(In reply to Brian Birtles (:birtles, travelling 7~18 April) from comment #1) > Interestingly one of the shortcut keys for this panel is Cmd/Ctrl-Shift-O > (the other being F1). We decided to remove the ctrl shift o shortcut, because it conflicts with other shortcuts. Cf https://github.com/devtools-html/rfcs/issues/23 and Bug 1409456
See Also: → 1409456
Severity: normal → enhancement
Priority: -- → P3
You need to log in before you can comment on or make changes to this bug.