Comment puis-je faire Ctrl- Tabet Ctrl- Shift- Tabbasculer entre les onglets de Terminal.app sur un Mac (OS 10.4 et 10.5 en particulier)? C’est ainsi que je change d’onglet dans Firefox et Aquamacs, et que Command- Shift- [et Command- Shift- ]est trop délicat pour moi. Je suis conscient de cette question connexe:
Comment changer le raccourci clavier pour changer d'onglet dans Mac Terminal?
Et par conséquent la section Raccourcis clavier des Préférences Système, mais la boîte de dialogue pour les raccourcis clavier ne semble pas accepter Ctrl- Tabdans le champ Raccourci clavier. Existe-t-il une séquence de clavier spéciale pour la saisie d'onglets (avec modificateurs) dans un champ de boîte de dialogue sur un Mac? Existe-t-il une autre méthode qui me permettrait de personnaliser Terminal.app comme je le souhaite?