【解決済】GIMP2.8 環境設定の通りにツールオプションが保存されない

いろいろ弄ってたら自己解決したのですが、検索しても似たような事例が出なかったので何が起きたのかのメモを放っておきます。

【症状】

GIMP2.8 の、環境設定「ツールオプション」タブの「終了時にツールオプションを保存する」のチェックボックスにチェックを入れて設定したのに、GIMPを終了する度に ペンのサイズや種類など すべてのツールオプションが初期状態にリセットされてしまう

↓

環境設定「ツールオプション」タブの「終了時にツールオプションを保存する」のチェックボックスからチェックを一度外し、そのまま設定ウインドウを閉じます。再度環境設定を開き、同じ項目のチェックボックスにチェックを入れなおして設定を終えると、再度起動した時にもちゃんと、終了する時の編集画面のツール状態をそのままで再開できました。