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

Hugh Gibson hgibson at cix.co.uk
Tue Nov 27 23:15:00 MST 2007


> It's not possible in 3.0.1 but I've just added code so a user can 
> redefine
> the ctrl-up/down keys to not move the cursor within the sources.  
> The
> commands to use will be "scroll-text-up(move_cursor=False)" and
> "scroll-text-up(move_cursor=False)" in the Keyboard / Custom Key
> Bindings preference.

This is working fine now in 3.0.2, thanks. Just a quick note that the
second one should be "scroll-text-down(move_cursor=False)".

Seems a bit obscure though - hope it's well documented...

Hugh


More information about the wingide-users mailing list