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.)
Submitted | denyer - 2006-08-02 20:05:10 | Assigned | kpouer |
---|---|---|---|
Priority | 5 | Labels | core |
Status | open | Group | None |
Resolution | None |
2009-02-17 21:12:55 gabebear |
Update:
|
---|---|
2009-02-17 21:14:51 gabebear |
Addition to the original request:
|
2011-11-28 02:40:58 ezust |
The aforementioned change was made by kpouer, so I am assigning to him.
|
2011-11-28 02:40:58 ezust |
- **assigned_to**: nobody --> kpouer |