[OS X TeX] Wish for the OgreKit panel

[Herbert Schulz]

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)