[texshop] Experimental version 4.33
Herbert Schulz
herbs at wideopenwest.com
Fri Aug 23 00:20:31 CEST 2019
> 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)
More information about the texshop
mailing list