11/11/28 21:12:05.39
>>15
プラグインでデフォルトで割り当てられているキーは<Leader>で始まることが多いから、
インストールしたけどキーマップを考えるのがだるいときに使うものじゃない？
俺はお試しで入れてみたプラグインや使用頻度の低いプラグインは<Leader>を使う
デフォルトキーマップで、頻度の高いプラグインだけ専用のキーにマップし直してる。
>>15みたいな使い方って想像もしていなかったよ。
11/11/28 21:12:05.39
>>15
プラグインでデフォルトで割り当てられているキーは<Leader>で始まることが多いから、
インストールしたけどキーマップを考えるのがだるいときに使うものじゃない？
俺はお試しで入れてみたプラグインや使用頻度の低いプラグインは<Leader>を使う
デフォルトキーマップで、頻度の高いプラグインだけ専用のキーにマップし直してる。
>>15みたいな使い方って想像もしていなかったよ。