Update TexShop
Merge pull request #7666 from szhu/master

Update TexShop