[python] [wingide-users] Scrolling with ctrl+arrow does keep
caret with tex
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.
+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