Closed
Bug 1415806
Opened 7 years ago
Closed 6 years ago
the list of keyboard shortcuts is incomplete
Categories
(Developer Documentation Graveyard :: General, defect, P2)
Tracking
(Not tracked)
RESOLVED
FIXED
People
(Reporter: grahamperrin, Assigned: cmills)
References
()
Details
:: Developer Documentation Request Request Type: Correction Gecko Version: Trunk Technical Contact: :: Details The 'Keyboard shortcuts' page is missing (at least): - the shortcut for Network – pictured at <https://github.com/kesselborn/conex/issues/85#issuecomment-343050742> Trunk? I don't know, sorry. I'm not a developer. Urgency? I don't know, but what's below may be food for thought. ---- Within the constraints of WebExtensions APIs: what happens when the shortcut of an extension conflicts with what's integral to the browser? What happens when two or more extensions contend for use of a single shortcut? And so on; and AFAICT re: <https://framasphere.org/posts/4091856> there's not yet a Firefox Quantum-compatible extension to manage key bindings/chords/shortcuts. Short-term: corrections to documentation may reduce the risk of developments leading to conflicts that are unmanageable (or not easy to manage). ---- Thanks
Updated•6 years ago
|
Component: General → Developer Tools
Priority: P2 → P5
Assignee | ||
Comment 1•6 years ago
|
||
Hi there, The main keyboard shortcuts page is at https://developer.mozilla.org/en-US/docs/Tools/Keyboard_shortcuts This contains the shortcut you are citing, plus many others. I'm just trying to work out why we have these two different pages, as this seems confusing. I'll asked my colleague Will for more info here, as he originally wrote these pages. Will, why do we have different keyboard shortcuts pages for the devtools?
Assignee: nobody → cmills
Component: Developer Tools → General
Flags: needinfo?(wbamberg)
Priority: P5 → P2
Comment 2•6 years ago
|
||
There is one page that lists all the keyboard shortcuts for all the devtools: https://developer.mozilla.org/en-US/docs/Tools/Keyboard_shortcuts Individual tools can then include the sections that are relevant to them using the KumaScript {{Page}} macro: https://developer.mozilla.org/en-US/docs/Tools/Page_Inspector/Keyboard_shortcuts https://developer.mozilla.org/en-US/docs/Tools/Web_console/Keyboard_shortcuts https://developer.mozilla.org/en-US/docs/Tools/Debugger/Keyboard_shortcuts etc etc The idea is to have one place where all of the shortcuts are documented, rather than having to go hunting around everywhere to find all the shortcuts. Then to present subsets of these in different pages, without having the content itself be duplicated. The page linked in this bug report is the Inspector's keyboard shortcuts page (https://developer.mozilla.org/en-US/docs/Tools/Page_Inspector/Keyboard_shortcuts) so it only contains shortcuts for the Inspector. I do agree that in the current page design, it's not at all obvious that this page refers only to the Inspector. Given that, we should probably change the title of this page so that's apparent if you stumble on it (e.g. "Page Inspector keyboard shortcuts" or something).
Flags: needinfo?(wbamberg)
Assignee | ||
Comment 3•6 years ago
|
||
Thanks Will. I have done so. I think that should hopefully solve this problem.
Status: UNCONFIRMED → RESOLVED
Closed: 6 years ago
Resolution: --- → FIXED
You need to log in
before you can comment on or make changes to this bug.
Description
•