[OS X TeX] Changing hIghlighting color in TexShop 2.47

[Schremmer Alain]

On , at 2018 Nov 21,1:28 PM, Herbert Schulz wrote:

> I think those colors are fixed.

On the other hand, it just occurred to me: if I knew where the source of TeXshop is, couldn't I just politely ask Text Wrangler to find "yellow" and replace it by say, "red"? Or would I thereby break something? (I have an extra copy anyway.)

Best
--schremmer