Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#26 User configurable scrolling options

open
core (195)
5
2011-11-28
2006-08-02
Denyer
No

I've had a read around and can't spot this as a feature
or in the pipleline, so hopefully I'm not duplicating
anything by mentioning it on SF.

Ideally it would be great if jEdit could just use
system settings for scrolling... but if not, would it
be possible to make the default action and actions for
scrolling with modifier keys configurable by the user?
eg, default scroll = screen, shift+scroll = 12 lines,
ctrl+scroll = 3 lines, etc.

(Personally I switched some lines around and recompiled
to get "screen" as the default -- but it seems as
though it might be a very useful option to have
adjustable through the GUI for other users. Sorry, I've
no real idea about where to start with coding in Java
or I'd do it and offer the result.)

Discussion

  • gabebear
    gabebear
    2009-02-17

    Addition to the original request:

    Please add page-scrolling back, both on the horizontal and the vertical!

     
  • Alan Ezust
    Alan Ezust
    2011-11-28

    • assigned_to: nobody --> kpouer
     
  • Alan Ezust
    Alan Ezust
    2011-11-28

    The aforementioned change was made by kpouer, so I am assigning to him.