[OS X TeX] different Fonts in OgreKit search mask in TeXShop

[Friedrich Vosberg]

Morning.

Why uses TeXShop in the OgreKit search mask different fonts? In the  
find field it uses a sans serif proportional font but in the replace  
field a monospace font is used.

Is it a bug or ist it a feature?

TIA and kind regards, Friedrich

--
»Der Abend ist gerettet.« (Sven Ottke nach einem siegreichen Boxkampf)



------------------------- Helpful Info -------------------------
Mac-TeX Website: http://www.esm.psu.edu/mac-tex/
TeX FAQ: http://www.tex.ac.uk/faq
List Archive: http://tug.org/pipermail/macostex-archives/
List Reminders & Etiquette: http://www.esm.psu.edu/mac-tex/list/