Ho impostato un collegamento personalizzato per Terminal per cambiare le schede: cmd+option+left/right
(lo stesso della maggior parte dei browser, per comodità).
L'ho fatto andando a System Preferences > Keyboard > Shortcuts > App Shortcuts
e aggiungendolo a Terminal come scorciatoie per "Seleziona scheda successiva" e "Seleziona scheda precedente". Ha funzionato perfettamente.
Due giorni fa, ho aggiornato a OS X Yosemite e ora non funziona più. Quando sfoglio la stessa posizione in Preferenze di Sistema, è configurato. Ma non funziona.
Come posso risolvere questo problema, e ancora più importante, perché sta succedendo?