Re: Another cursor movement bug/feature

[Abdelrazak Younes]

Stefan Schimanski wrote:
The attached patch (also attached in bugzilla 
http://bugzilla.lyx.org/show_bug.cgi?id=3720) solves this issue. As I 
explain there, I would really just as soon get rid of the condition 
altogether (I tested both options, both seem to work)...

Stefan, I hope you don't mind my butting in before you --- but after 
all, I am the one who introduced this bug in the first place ;) ; and 
I really did find the solution before I saw that you were also working 
on it...

No problem :)

I have the exact same fix in my patch (among others). So I think it's 
ok. But please shorten the comment a bit. It's not that tricky here anyway.

Why shorten the comment? We should strieve for more comments not less. 
Particularly in place like this where a _logical_ decision is made.

Abdel.