>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> Jean-Marc Lasgouttes wrote: Thanks, it's in. Jean-Marc, would Juergen> you be interested in a similar patch for 1.3.7? >> Sure. Juergen> This would be the attached. I had to change the behaviour of Juergen> refSelected, because this signal is emitted for both double Juergen> clicking and enter key, and enter should not trigger Juergen> goto-label (see the line above my insertion in status.13x in Juergen> the patch). You tested it thoroughly, right? Then OK. Add the bug number to status.13x. Juergen> P.S.: there's still a pending patch for 1.3.7 at bug 1977 Juergen> waiting for your comment. I missed this one actually. Yes, you can apply it. This kind of polish is useful. JMarc
