Grazie, ma non sono riuscito a trovare il file 😳
Riporto, per conoscenza, la risposta che Richard Koch, autore di TeXShop, mi ha dato stanotte:
Tommy,
I have written a few papers for TUGboat, the TeX User Group journal, and their
editors seem to prefer \TeX, and thus every time “TeX” occurs, it is typeset with
lowered E. This leads to monstrosities likes LuaLa\TeX and XeLa\TeX and stuff like
that. I can’t control that, but since TeXShop is my program, for it I suggest just
TeXShop with no fancy business!You can change the background color of the editor window in TeXShop
Preferences under the “Source” tab. Note “Background Color” at top right.The other colors can be changed using hidden TeXShop Preferences. Go to the
TeXShop Help Menu and selectTeXShop Help Panel … -> How do I configure TeXShop? Hidden Preference Items
This will allow you to change the syntax colors.
Some time ago when speeding up syntax coloring, the code to change the source text
color and the color of the insertionpoint broke. The hidden preference items are still there,
so you can try them, but I doubt that they will work. This will eventually be fixed, but
we don’t want to fix to slow down syntax coloring, and frankly very few users ask about
this.Dick Koch
koch@math.uoregon.edu
Ciao
Tommaso