From Newsgroup: alt.comp.software.firefox
Want to change or disable developer tool shortcut | Firefox Support
Forum | Mozilla Support
<
https://support.mozilla.org/en-US/questions/1444049>
Press F12 to open Firefox developer, then press F1 to open settings.
Scroll down (on the right edge) to uncheck "Use the F12 key to
open/close DevTools"! Now you use shitf+F12 to access Dev Tools. F12 key
is released for other purposes.
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
--
@~@ Simplicity is Beauty! Remain silent! Drink, Blink, Stretch!
/ v \ May the Force and farces be with you! Live long and prosper!!
/( _ )\
https://sites.google.com/site/changmw/
^ ^
https://github.com/changmw/changmw
--- Synchronet 3.21d-Linux NewsLink 1.2