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".

• https://support.mozilla.org/en-US/kb/about-config-editor-firefox

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.

• https://searchfox.org/mozilla-release/source/devtools/startup/DevToolsStartup.jsm
• Saka Key https://addons.mozilla.org/firefox/addon/saka-key/

That's a shame. Were can we request the feature of being able to change shortcuts?