Use old version of vanillaTabs to work around broken layout on macOS 10.10 #411

Closed justvanrossum closed 4 months ago