I would suspect it's more gesture based navigation is uncommon among engineers/technical folk vs cmd+[,]. That said the animation shouldn't be stopping other ac

I would suspect it's more gesture based navigation is uncommon among engineers/technical folk vs cmd+[,]. That said the animation shouldn't be stopping other actions - that's imo the issue with any kind of animation triggered by UI actions in general.