Re: [ jEdit-users ] Scrolling

[Stefan R. <sr...@te...>]

Hello Slave,

I am not sure if I really understood what you mean. If you mean the View->Scrolling -> Line Scroll Up / Down items, I would like to say that this is exactly the behaviour I like. Please do not remove those but rather _add_ the new behaviour.

Thanks,
Stefan

17.05.2001 04:40:17, Slava Pestov <sl...@je...> wrote:

>Hello everybody,
>
>During an off-list discussion with Ollie Rutherfurd regarding
>scrolling recently, I suggested that jEdit's scroll-up/down
>commands should be removed instead replaced with the following
>behavior:
>
>- The Scroll Lock (or some other) key will toggle 'scroll mode'
>- In scroll mode, the arrow keys and page up/page down scroll,
>  rather than move the caret
>
>Does anyone else think this is a good idea? The only problem
>I can see is that not all keyboards have a scroll lock key.
>As of jEdit 3.2pre1, C+\ is unused; maybe that should toggle
>scroll mode?
>
>Slava
>
>-- 
>-----------------------------------------------
>jEdit Users' List
>jEd...@li...
>http://lists.sourceforge.net/lists/listinfo/jedit-users
>