firefoxの開発者ツール(デベロッパーツール)

firefoxで、開発者ツール(デベロッパーツール)が意図しない時に
開いて鬱陶しい。

これがよくあるんです。
なんのキーを押してるときに出るのかと思ったらF12キーだった。

F12キーを押して開発者ツール(デベロッパーツール)を起動しないように無効にする方法。

1)F12 キーを押して開発者ツールを開きます。

2)F1キーを押して、設定リストを表示させます。

3)設定リストから
F12 キーで DevTools を開閉するのチェックを外します
(バージョンによっては文言が違うかも?)

F12キーを無効にしてる状態でも
Ctrlキー + Shift キー+ Iキー
で、firefoxの開発者ツール(デベロッパーツール)が
起動します。