[python] [wingide-users] Scrolling with ctrl+arrow does keep caret with tex

[Mark Jeffree]

>> Conversely, scrolling the display with the mouse wheel or grabber
>> should move the display and not the cursor position.
>
> I don't want to move my fingers off the keyboard to grab the mouse.
>
> Hugh

agree!

+1 for keyboard based source navigation in preference to the mouse. The more 
I can make my editor work like (the late) Jef Raskin's Canon Cat, the 
better. In a nutshell, most movement is based on forwards or backward 
progressive string search.

Mark