Jean-Marc Lasgouttes wrote:
This patch backports a 1.5 fix that was only partly applied by Enrico: since the selection() status of the cursor was not take in account, Shift+pagedown would lose the selection at times.
It was not Enrico fault as I put in this fix after Enrico backported the other one (which was about PageUp/Down within mathed by the way). As I could not reproduce it with 1.4.3 I thought it was not relevant for 1.4, sorry about that.
I'll commit now since it is already in 1.5, and I did test it.
Looks like 1.4.4 will be a nice contender for 1.5.0 ;-) Abdel.
