[texshop] Experimental version 4.33

[Herbert Schulz]

> On Aug 22, 2019, at 5:05 PM, koch at uoregon.edu wrote:
> 
> If you want to test this, I recommend setting three defaults:
> 
> 	defaults write TeXShop DisplayLogInfo NO
> 
> 	defaults write TeXShop UseTerminationHandler YES
> 
> 	defaults write TeXShop RepeatTypesetOnError!3 NO
> 

Howdy,

Before I grab this for testing could you explain what each of these do? Also, should the last one be RepeatTypesetOnError13 (13 instead of !3)?

Good Luck,

Herb Schulz
(herbs at wideopenwest dot com)