[OS X TeX] Wish for the OgreKit panel
Josep Maria Font
jmfont at ub.edu
Mon Apr 23 04:00:27 EDT 2012
On 23/04/2012, at 09:13, Eric van der Oord wrote:
> IMHO, Key Bindings should be turned off in the OgreKit panel in all circumstances.
I second this, emphasizing *in all circumstances*. When using a Find panel, one is (in general) not concerned with typing speed, but with matching characters.
> Le 23 avr. 2012 à 08:25, Yusuke Terada a écrit :
>> 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?
More information about the MacOSX-TeX