Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
TextEditor: allow scrolling by lines with Pan #4145
Feature of ScrollTextWidget, only used for now by TextEditor.
May conflict with MovableContainer (so not enabled for DictQuickLookup, where it could have been nice - but it would work only with text dictionaries, not with HTML ones, as ScrollHtmlWidget can't really do that).
Useful to make a whole block of text contained into view, and not be limited by rigid page by page scrolling (eg: to move the