[EDIT 18 de janeiro de 2015: Isso foi corrigido na versão 3.49! Obrigado a Richard Koch e companhia. Copiado dehttp://pages.uoregon.edu/koch/texshop/version.html:
Três preferências ocultas foram adicionadas, permitindo aos usuários alterar a cor de destaque amarelo para outra cor, quando usada por sincronização inversa da janela do PDF para o texto fonte. Isto é útil se o usuário tiver alterado as cores padrão da janela de origem. Os novos itens são
padrões escrevem TeXShop ReverseSyncRed 1.00
padrões escrevem TeXShop ReverseSyncGreen 1.00
padrões escrevem TeXShop ReverseSyncBlue 0,00
]
A pesquisa inversa no TeXShop, invocada pressionando a tecla de comando e clicando na janela Preview, salta para a fonte correspondente. Este é um ótimo recurso, mas o texto para o qual pulo está destacado em uma cor amarela que é muito difícil de ver. Além disso, até eu clicar na janela do código-fonte, qualquer texto selecionado (por exemplo, com as teclas shift + seta) também será destacado na mesma cor difícil de ver, ao contrário do padrão do meu sistema para realce (roxo). Isso acontece mesmo que o foco esteja na janela de origem.
Este parece ser um recurso integrado do TeXShop, sem preferência correspondente. Existe alguma maneira de definir a cor de destaque?
Estou no TeXShop 3.48.1, OSX 10.10.1.