python - PyDevでキーバインディングを編集する方法は？

Question

ここでは、Ctrl + Shift + Lを2回入力すると、インストールで使用しているキーバインドを編集/表示できる場所に移動すると言われていますが、私のPyDevでは機能せず、その後は何も起こりません。 Ctrl + Shift+Lと入力する

Answer 1

動作しない場合は、[設定]の[一般]>[キー]に移動します。