さらにキーショートカットのカスタマイズが出来るから、
f1じゃないもっと好きなキーに変更できる。
これでも面倒というなら、もうあきらめろ。