[OS X TeX] Changing hIghlighting color in TexShop 2.47

[Schremmer Alain]

On , at 2018 Nov 21,3:08 PM, Herbert Schulz wrote:

> I know you lagged behind a bit. :-)

Well, yes, and a bit more than a bit, and not just with the OS!  (Turning 82 tomorrow.)  :-))

Best
--schremmer