設定. 操作性. ツリービューをフィルタしたい

操作方法/設定方法

キー入力でなくて、上の方に入力欄が出るとよりよいのだけど

json
"workbench.list.keyboardNavigation": "filter",

デフォルトの動作だと、キー入力すると即検索になってしまう。 hjkl でカーソル移動している身としてはこれは不便。

json
"workbench.list.automaticKeyboardNavigation": false,

明示的に呼ぶには、キー設定を定義して、明示的に呼べば良い。が、これはこれで忘れそう・・

json
{
    "key": "/",
    "command": "list.toggleKeyboardNavigation",
    "when": "explorerViewletFocus && explorerViewletVisible && !inputFocus"
},