[OS X TeX] Wish for the OgreKit panel

Wed May 2 13:40:12 EDT 2012

On 2012/05/03, at 0:59, Alan Munn wrote:

> While we're wishing about the OgreKit panel, it's long bothered me that the font in the panel doesn't match the font chosen in the source window.  I like a monospaced font for my source input, and the OgreKit font default isn't.  Is there any way to have it match the source font?

Which version of TeXShop do you use? TeXShop 3.06 adopts OgreKit customized for TeXShop. By using the customized OgreKit, the font of OgreKit find panel automatically matches the source font.