RE: [ jEdit-users ] Scrolling

[Scott W. <cs...@in...>]

Slava,

I would not use the scroll-lock feature. I *do* use (every day) the
scroll-by-line commands (ALT-UP and ALT-DOWN for me). So please don't remove
these commands to make way for scroll-lock. If you only remove their menu
items that would hurt much less, but not the commands please.

csw

> -----Original Message-----
> From: jed...@li...
> [mailto:jed...@li...]On Behalf Of Slava
> Pestov
> Sent: 17 May 2001 04:40
> To: jed...@so...
> Subject: [ jEdit-users ] Scrolling
>
>
> 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