J'ai toujours utilisé le menu d'aide ( command + shift + ? / ) pour rechercher dans les menus des applications un élément pour lequel je n'ai pas de raccourci clavier (ou dont je ne me souviens pas).
C'est une fonctionnalité géniale, mais c'est ennuyeux qu'elle soit
- cherche aussi d'autres choses (de l'aide évidemment).
- vous demande d'appuyer sur la flèche vers le bas pour sélectionner la première option.
- s'affiche toujours avec le pointeur géant qui pointe vers l'élément de menu.
- est parfois lent car il recherche les rubriques d'aide (en ligne).
Existe-t-il une application qui peut faire cela mieux, ou une defaults write
pour que le menu d'aide fonctionne comme je le souhaite ?
Remarque : ce serait bien si je pouvais exclure certaines choses comme l'historique de Safari.