Hotlist/Panel

とりあえず Ctrl+1〜0 をたたくのに落ち着きそう。自分の場合は Ctrl+2 さえ覚えておけば後は開いたパネルから他所に行けるし。
Linux 版では上記の組合せが効かず。一二度動いたけれどもダメな時はダメと不安定。とりあえずは F4 が効くので問題はないのだが、再び悩む。 ちょいと Preferences を眺めると、1 ctrl にデフォルトで割り当てられているのは Windows 版では Focus hotlist 〜だが、Linux 版では F4 と同一の Show panel 〜。