[OS X TeX] A small bug of TeXShop

[Franck Pastor]

Nothing harmful, but it's a bit strange nevertheless: In the  
"Typeset" menu of TeXShop, as I switch from "pdfTeX" to "TeX and  
Ghostscript", the "TeX and Ghostscript" item becomes marked (as it  
must be), BUT the "pdfTeX" item remains marked too. And vice versa.  
Everything works fine though...

TeXShop v. 2.14svn, MacOSX 10.4.11, iMac G5 2 Ghz...

Franck Pastor