[ jEdit-users ] Re: shortcut priority

[Luke C. <lju...@on...>]

I tried that and it seems to have no effect. I checked the documentation 
to see if I was spelling it wrong but maybe was looking in the wrong 
place, and didn't find it. Does that statement work for you? Thanks! :)

> Subject: Re: [ jEdit-users ] Re: shortcut priority
> From: Slava Pestov <sl...@je...>
> To: jed...@li...
> Date: Wed, 27 Aug 2003 15:53:42 -0400
> 
> Again, you can do C+ENTER folding.label=Folding ENTER. I will fix this
> problem in 4.2pre5 though.
> 
> On Wed, 2003-08-27 at 07:01, Luke Call wrote:
> 
>>> Is there a way to do the same thing for the Folding menu? I tried
>>> various things and tried finding it in the documentation, w/o success.
>>> Thanks! -Luke
>>> 
>>> 
>>
>>>> >Date: Sun, 10 Aug 2003 01:08:31 -0400
>>>> >From: Slava Pestov <sl...@je...>
>>>> >
>>>> >I guess this is because jEdit is not consuming key events anymore. I'll
>>>> >look into re-implementing this in pre5, but in the meantime do this:
>>>> >
>>>> >