一日使ってみたら、Opt+TabはXCodeのデフォルトキーバインド(他のアクションなしでTabを挿入)と重複することが判明。近いところでOpt + Aに変更しました。

返信