Bonjour !
Problème
Je n'arrive plus à retrouver la combinaison des touches pour accéder aux réglages de l'IDE Arduino autres que celles visibles par la commande Préférences (macOS).
J'ai bien trouvé la liste avec Arduino > Advanced > Keyboard Shortcuts, mais pas l'accès aux réglages évolués...
Merci pour votre aide.