Pesquisar no apoio

Evite burlas no apoio. Nunca iremos solicitar que telefone ou envie uma mensagem de texto para um número de telefone ou que partilhe informações pessoais. Por favor, reporte atividades suspeitas utilizando a opção "Reportar abuso".

Learn More

How to change or disable default keyboard shortcuts

  • 4 respostas
  • 1 tem este problema
  • 24 visualizações
  • Última resposta por 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?

Todas as respostas (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".

Útil?

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)

Útil?

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.

Útil?

more options

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

Útil?

Colocar questão

Deve iniciar sessão com a sua conta para responder a mensagens. Por favor comece uma nova questão, se ainda não tiver uma conta.