キーボード ショートカット - GitHub Docsキーボードショートカットについて 「?」と GitHub に入力すると、そのページで使用可能なキーボード ショートカットを一覧表示するダイアログ ボックスが表示されます。 マウスを使用して移動しなくても、これらのキーボードショートカットを使用して、サイト全体でアクションを実行できます。 アクセシビリティ設定では、修飾キーを使用するショートカットを許可したまま、文字キーのショートカットを無効にすることができます。 詳しくは、「アクセシビリティ設定の管理」をご覧ください。 また、GitHub Command Palette を使うと、キーボード ショートカットを覚えていなくても、さまざまなアクションにすばやくアクセスできます。 詳しくは、「GitHub コマンド パレット」をご覧ください。 次のセクションによって、使用可能なキーボード ショートカットの一部が、それらを GitHub.com で
GitHub - ensime/ensime-server: ENSIME JVM Process
