8.0Beta3 設定画面

某巨大掲示板をみて、知った情報。
キー設定に Show preferences,100 とすれば、旧来設定画面を開けるとの事。
試しに Ctrl+Alt+P を新設して割り付けてみる。
・・・ホントだ・・・。
でも、これだと、このキーが将来何かに割り付けられたら困るな。
設定画面は、Ctrl+F12 と Alt+P の2種あるのだから、その片方のみをこれにしてみるか？ 思案中。