[OS X TeX] Wish for the OgreKit panel

[Yusuke Terada]

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?