How to change or disable default keyboard shortcuts
I want to disable the F12 shortcuts that open the developer tools, because I use this shortcuts to open a different application (yakuake)
How do we change the default key bindings?
Alla svar (4)
You can't change that F12 key binding. You would have to disable the developer tools via the about:config page to achieve this.
- about:config => devtools.policy.disabled = true
You can open the about:config page via the location/address bar. You can click the button to "Accept the Risk and Continue".
But that would disable the developer tools right? And I want to have access to the developer tools (I am actually a developer).
I don't want to disable the developer tool functionality. Only the F12 shortcut (or bind it to something different)
I don't know of another way to do this apart from disabling the devtools. I think the devtools are loaded lazily at a later time and thus extensions might not be able to disable or block F12. The source code shows a reference to devtools.experiment.f12.shortcut_disabled, but this still displays a dialog to explain the purpose of F12.
That's a shame. Were can we request the feature of being able to change shortcuts?