Я хочу удалить или отключить инструменты WEB-разработчика в Firefox (Инструменты - WEB-разработчик). По крайней мере, отключите их сочетания клавиш - например, я действительно не хочу видеть профилировщик Firefox при нажатии Shift+F5.
Firefox версия 21.0, ОС Windows (если это актуально).
В своем URL-адресе напишите о:config
Нажмите Я буду осторожен, когда появится предупреждающее сообщение - откроется ваш файл конфигурации.
Поиск devtools.*.enabled и установите все в false .
Выше не работает на Linux. Инспекторы и все еще всплывающие окна. На самом деле, вы не можете отключить инструменты веб-разработки в Firefox, поскольку они слишком глубоко интегрированы.
Но с этим расширением вы можете отключить ярлыки: Keybinder: https://addons.mozilla.org/en-us/firefox/addon/keybinder/
(Выше необходимо заменить Настраиваемые ярлыки Тимом Таубером, который больше не разрабатывается / не удаляется)
Конфиг -> Отображение ярлыка -> изменить> (найти ярлык, отключить).
