- シンボル上にマウスホバーでツールチップが出る。
- シンボル上でホバーから[ctrl+click]で定義元にジャンプ。
- 必要なら[shift+ctrl+enter]でインフォビューをON/OFF
- とりあえず[F12]だが、トンチンカンな所に飛ぶことがある。
- [alt+←]で戻る。
- [alt+F12]でpeek definition。
- "goto definition" と "goto declaration" は同じ。
- [shift+F12] で参照へのジャンプになるが、Leanサーバーではサポートされてないかも。
- [shift+alt+F12] "find all references" ですべての参照を検索する。
- 呼び出し階層を表示する "call hier" も機能しないようだ。
- [F8] "goto next problem" はすごく役立つ！
- "goto next problem" は[ctrl+\]=[ctrl+oem_102] にも割り当てた。
- パンくずリストを見てもファイル名が分からないことがある。[ctrl+shif+.]でパンくずリスト（階層リンク）で見たり探したり。
- ファイルのシンボルテーブルがあれば、パンくずリスト〈階層リンク〉に名前空間・セクション階層まで表示される。これは便利。
- [ctrl+shift+o] でシンボル検索。
- [ctrl+alt+j] で垂直バーで上方のブックマーク。
- [ctrl+alt+l] で垂直バーで下方のブックマーク。
- ブラケット関係のジャンプ（[shift+ctrl+\]）は機能しないようだ。
- set_option trace.Elab.info true で詳細（過ぎる）な情報が出る。
一般論だが：
- [ctrl+tab] と同じような切り替えが [alt+番号]で出来る。ブラウザの[ctrl+番号]に近い。OSの[win+番号]も少し似てるかも。
- [ctrl+j], [ctrl+@] が同じ機能にバインドされている。もったいないな。
- シェルは共通に、[ctrl+l] で画面クリア。
- [ctrl+b] はvscodeから奪っているが、代わりに [ctrl+0]が使える。ブラウザとは違うので注意。
- [alt+↑↓] は便利かな？
- [ctrl+:] は一行に対して使える。セレクション無しで。
- [ctrl+shift+l] がなんと [ctrl+d] と同じ機能（マルチカーソル）にバインドされていた。自分でバインドしようとしたら、既にあった。
