We're calling on all EU-based Mozillians with iOS or iPadOS devices to help us monitor Apple’s new browser choice screens. Join the effort to hold Big Tech to account!

Funkcionalnosć tutoho sydła so přez wothladowanske dźěła wobmjezuje, kotrež maja waše dožiwjenje polěpšić. Jeli nastawk waš problem njerozrisuje a chceće prašenje stajić, wobroćće so na naše zhromodźenstwo pomocy, kotrež na to čaka, wam na @FirefoxSupport na Twitter a /r/firefox na Reddit pomhać.

Avatar for Username

Pomoc přepytać

Hladajće so wobšudstwa pomocy. Njenamołwimy was ženje, telefonowe čisło zawołać, SMS pósłać abo wosobinske informacije přeradźić. Prošu zdźělće podhladnu aktiwitu z pomocu nastajenja „Znjewužiwanje zdźělić“.

Dalše informacije

Tuta nitka je so archiwowała. Prošu stajće nowe prašenje, jeli pomoc trjebaće.

In Firefox 30, how can I disable the Web Developer console?

  • 2 wotmołwje
  • 2 matej tutón problem
  • 1 napohlad
  • Poslednja wotmołwa wot cor-el

ivanabq
ivanabq
more options

I use a keyboard macro program. Its settings, however, are preempted by the Web Developer tools' shortcuts. Therefore, I either want to (a) totally disable the Web Developer console or (b) remove/reset the shortcuts used by it.

I use a keyboard macro program. Its settings, however, are preempted by the Web Developer tools' shortcuts. Therefore, I either want to (a) totally disable the Web Developer console or (b) remove/reset the shortcuts used by it.

Wubrane rozrisanje

The prefs for disabling some DevTools (devtools.*.enabled) are there on the about:config page, but I'm not seeing anything in the code that they are supported and tests only include a few prefs. Disabling the developer toolbar works, but not disabling any of the tools in the web console AFAICT.

I'm not sure if there is a bug about this or needs to be filed? Why have prefs if they aren't working (I tried it with lockPref as well)?

Tutu wotmołwu w konteksće čitać 👍 0

Wšě wotmołwy (2)

guigs
guigs
more options

Hi ivanabq, It is possible to edit the shortcuts associated with the Web Developer tools by using an add on Customize Shortcuts

However to disable it entirely: Check out this previous questions solution: question/955124

Thank you.

cor-el
cor-el
  • Moderator
  • Top 10 Contributor
more options

Wubrane rozrisanje

The prefs for disabling some DevTools (devtools.*.enabled) are there on the about:config page, but I'm not seeing anything in the code that they are supported and tests only include a few prefs. Disabling the developer toolbar works, but not disabling any of the tools in the web console AFAICT.

I'm not sure if there is a bug about this or needs to be filed? Why have prefs if they aren't working (I tried it with lockPref as well)?

Wot cor-el změnjeny