Use "settings" instead of "options" consistently in DevTools toolbox code

NEW
Unassigned

Status

enhancement
P3
normal
Last year
Last year

People

(Reporter: birtles, Unassigned)

Tracking

(Blocks 1 bug, {dev-doc-needed})

Firefox Tracking Flags

(Not tracked)

Details

Reporter

Description

Last year
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.
Reporter

Comment 1

Last year
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

Updated

Last year
Product: Firefox → DevTools
You need to log in before you can comment on or make changes to this bug.