PHPツールボックスのショートカットキーを変更する方法

Question

PHP 中国語 Web サイトにある PHP ツールボックスのショートカット キーを変更する方法を教えてください。ctrl s を押すたびに、PHP ツールボックスのマニュアルが呼び出されます。変更方法を教えてください。 ? ? ?

Answer 1

php ツールボックスのショートカット キー、ご提案ありがとうございます。次の更新バージョンで変更します。引き続き php ツールボックスをサポートし、提案していただければ幸いです。