Comment modifier les touches de raccourci de la boîte à outils PHP

Question

Veuillez me dire comment modifier les touches de raccourci de la boîte à outils PHP sur le site Web PHP chinois. Chaque fois que vous appuyez sur ctrl+s, le manuel de la boîte à outils PHP sera appelé. Comment le modifier ? ? ? ?

Answer 1

Merci pour votre suggestion, touches de raccourci de la boîte à outils php, nous la modifierons dans la prochaine version mise à jour, nous espérons que vous continuerez à soutenir et à faire des suggestions pour notre boîte à outils php !