プリファレンス->プラットフォームで何かを変更して適用を押すと、プリファレンスを閉じなくても、変更内容を確認できるはずです。
このようにして、各設定が評価に対して何をしているのかを確認することができます。この未来は現時点ではブロックされています。jmp設定が開いていると、ウィンドウを閉じるまでJMPで作業できなくなります（もう一度開くために...）。
