Open Bug 1452007 Opened 6 years ago Updated 2 years ago

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

Categories

(DevTools :: General, enhancement, P3)

Product:
DevTools
Component:
General
Type:
enhancement

Tracking

(Not tracked)

People

(Reporter: birtles, Unassigned)

References

(Blocks 1 open bug)

Details

(Keywords: dev-doc-needed) 

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
Product: Firefox → DevTools
Severity: normal → S3
You need to log in before you can comment on or make changes to this bug.