Mozilla will shut down Pocket’s services on July 8, 2025. At that time users will no longer be able to access the Pocket website, apps and API. You can export your saved items and API data until October 8, 2025 before they are permanently removed. For more information, see this article.

Avatar for Username

Hilfe durchsuchen

Vorsicht vor Support-Betrug: Wir fordern Sie niemals auf, eine Telefonnummer anzurufen, eine SMS an eine Telefonnummer zu senden oder persönliche Daten preiszugeben. Bitte melden Sie verdächtige Aktivitäten über die Funktion „Missbrauch melden“.

Weitere Informationen

Dieses Thema wurde archiviert. Bitte stellen Sie eine neue Frage, wenn Sie Hilfe benötigen.

Want to change or disable developer tool shortcut

  • 2 Antworten
  • 0 haben dieses Problem
  • 1262 Aufrufe
  • Letzte Antwort von John HH

Aries Alb (BeezKneez)
Aries Alb (BeezKneez)
more options

I am attempting to copy values from one google sheet to another and am unable to do so effectively as whenever I press crtl +shift + c I open the the developer tools. All my efforts on looking for a solution have lead me to unsupported extensions so I'm stuck wondering what to do.

I am attempting to copy values from one google sheet to another and am unable to do so effectively as whenever I press crtl +shift + c I open the the developer tools. All my efforts on looking for a solution have lead me to unsupported extensions so I'm stuck wondering what to do.

Ausgewählte Lösung

If you have no intention for using the developer tools then you can set this pref to true in about:config

  • about:config => devtools.policy.disabled => true
Diese Antwort im Kontext lesen 👍 1

Alle Antworten (2)

cor-el
cor-el
  • Moderator
more options

Ausgewählte Lösung

If you have no intention for using the developer tools then you can set this pref to true in about:config

  • about:config => devtools.policy.disabled => true
John HH
John HH
more options

I had similar issue. when using drop down terminals like guake or xfce4-drop down, F12 key may use to open and close terminal so same firefox shortcut will mess with terminal shortcut.

Here is the way to disable F12 in firefox.

Open Firefox developer then press F1 to open settings. Now uncheck Use the F12 key to open/close Developer option.

https://paste.c-net.org/PreserveHiggins

After that we can open/close firefox developer with shitf+F12 and F12 key is released for other purposes. personally I use ctrl + F12 for terminal shortcut.