[OS X TeX] Wish for the OgreKit panel

[Herbert Schulz]

On May 2, 2012, at 10:59 AM, 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?
> 
> Alan
> 
> On Apr 23, 2012, at 7:18 AM, Herbert Schulz wrote:
> 
>> 
>> On Apr 23, 2012, at 2:13 AM, Eric van der Oord wrote:
>> 
>>> IMHO, Key Bindings should be turned off in the OgreKit panel in all circumstances.
>>> 
>>> Eric
>>> 
>>> Le 23 avr. 2012 à 08:25, Yusuke Terada a écrit :
>>> 
>>>> 
>>>> On 2012/04/20, at 17:37, Luis Sequeira wrote:
>>>> 
>>>>> I second Eric's request. Of course, he meant Key Bindings. The thing is, when you are entering regular expressions, you don't want, say, a caret ^ (which can mean, for example, the start of a line, or act as negation inside square brackets) to expand to ^{•}, etc. This is a nuisance. And it is not practical to disable and reenable key bindings each time you search for something. So, yes, an option to turn key bindings off for the OgreKit panel would be welcome.
>>>> 
>>>> I understood your request. Technically, putting a new option to turn KeyBinding off for the OgreKit panel is not difficult. But in terms of UI, there is not enough room for a new option both in OgreKit panel and in TeXShop preferences panel. 
>>>> So I suggest that KeyBindings be automatically turned off when REGEX search is ON. This can be implemented easily. What do you think about that behavior?
>> 
>> Howdy,
>> 
>> I agree with Eric here. I don't think Key Bindings should be active in the Find panel at all. What Yusuke has done with simply turning that off (available as <http://dl.dropbox.com/u/5807100/OgreKit_withoutKeyBinding.zip>) is just right.
>> 
>> Good Luck,
>> 
>> Herb Schulz
>> (herbs at wideopenwest dot com)

Howdy,

Hmmmm... I use Monaco (an ancient monospace font from Apple) for my Source font and that seems to be what is in the Ogrekit Find and Replace windows.

Good Luck,

Herb Schulz
(herbs at wideopenwest dot com)