--- a/ListView.st Thu Jun 14 11:23:59 2018 +0200
+++ b/ListView.st Thu Jun 14 11:27:52 2018 +0200
@@ -4251,12 +4251,13 @@
scrollDown:nPixels
"change origin to scroll down some pixels
- (towards the bottom of the text)"
-
- super scrollDown:nPixels
+ (towards the bottom of the text)
+ Redefined, as this view only allows scrolling in multiples of the line height"
+
+ self scrollDownLines:((nPixels + (fontHeight - 1)) // fontHeight)
"Modified: / 21-05-1999 / 15:59:52 / cg"
- "Modified (comment): / 13-06-2018 / 22:42:05 / Claus Gittinger"
+ "Modified: / 14-06-2018 / 11:27:12 / Claus Gittinger"
!
scrollDownLines:nLines
@@ -4399,12 +4400,13 @@
scrollUp:nPixels
"change origin to scroll up some pixels
- (towards the top of the text)"
-
- super scrollUp:nPixels
+ (towards the top of the text).
+ Redefined, as this view only allows scrolling in multiples of the line height"
+
+ self scrollUpLines:((nPixels + (fontHeight - 1)) // fontHeight)
"Modified: / 21-05-1999 / 15:59:45 / cg"
- "Modified (comment): / 13-06-2018 / 22:42:20 / Claus Gittinger"
+ "Modified (comment): / 14-06-2018 / 11:26:55 / Claus Gittinger"
!
scrollUpLines:nLines