ابحث في الدعم

Avoid support scams. We will never ask you to call or text a phone number or share personal information. Please report suspicious activity using the “Report Abuse” option.

Learn More

How to change or disable default keyboard shortcuts

  • 4 ردود
  • 1 has this problem
  • 21 views
  • آخر ردّ كتبه hello_world

more options

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?

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?

All Replies (4)

more options

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

more options

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)

more options

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.

more options

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