To make it more frustrating if I had firefox open, it opens the dev tools instead!
I followed the workaround noted here (in gnome settings) and that worked for me too.
For good measure I also disabled <f12> for web dev tools in firefox about.config:
devtools.f12_enabled false Cheers, Jeremy
OpenPGP_signature.asc
Description: OpenPGP digital signature