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

Question

Comment changer les touches de raccourci dans la boîte à outils PHP ? Les touches de raccourci sont en conflit et ne peuvent pas être utilisées