[OS X TeX] highlight in yellow

[Steffen Wolfrum]

Am 15.01.2008 um 23:47 schrieb Chris Goedde:

> On Jan 15, 2008, at 3:08 PM, Steffen Wolfrum wrote:
>
>>
>> Am 15.01.2008 um 21:13 schrieb Peter Dyballa:
>>
>>>
>>> Am 14.01.2008 um 10:27 schrieb Steffen Wolfrum:
>>>
>>>> Is there a (hidden default?) value that can be changed in order  
>>>> to change this color?
>>>
>>>
>>> Have you checked System Preferences? Erscheinungsbild or  
>>> Appearance offers to set the highlight colour – does a change  
>>> here correct the problem over there in TeXShop?
>>
>>
>> These affect only the *selected* text ... not the *found* text ;o(
>
> Warning: I haven't followed this in detail, but ...
>
> I think this is a (mis)feature of Cocoa. The found text is in fact  
> highlighted with the proper highlight color, but the source window  
> is not the active window, the find window is. Thus, once you've  
> found the text, if you click on the titlebar of the source window,  
> you'll see that the found text is highlighted with appropriate color.


No, that's not true! It stays yellow.

Only when I manually select text, this gets highlighted in the  
appropriate color.

Steffen