12/03/25 13:19:31.80 WDxJvVPG0
キーボードショートカットの設定をするのにお勧めのアドオンは何ですか
ぐぐると、keyconfigを使っている例がよく見つかるけど、最新版では使えないので、
その後継にあたる何かが存在していると思うのだけれど、
似たような微妙に目的が違う感じのアドオンが無数に存在してる感じで、
どれが決定版なのかさっぱり判らない
12/03/25 13:19:31.80 WDxJvVPG0
キーボードショートカットの設定をするのにお勧めのアドオンは何ですか
ぐぐると、keyconfigを使っている例がよく見つかるけど、最新版では使えないので、
その後継にあたる何かが存在していると思うのだけれど、
似たような微妙に目的が違う感じのアドオンが無数に存在してる感じで、
どれが決定版なのかさっぱり判らない