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

Mark Jeffree markj at sonartech.com.au
Mon Nov 19 10:33:55 MST 2007

>> 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


+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.


More information about the wingide-users mailing list