#UI_ENHANCEMENT
authorClaus Gittinger <cg@exept.de>
Wed, 07 Oct 2015 01:24:51 +0200
changeset 5468 795a25c2eb2c
parent 5467 1c31382917e7
child 5469 9316f35ba70c
#UI_ENHANCEMENT class: Scroller changed: #drawTallyMarks
Scroller.st
--- a/Scroller.st	Wed Oct 07 01:02:46 2015 +0200
+++ b/Scroller.st	Wed Oct 07 01:24:51 2015 +0200
@@ -1171,7 +1171,7 @@
     (orientation == #vertical) ifTrue:[
         y := t + (h // 2) - 1.
         xL := l + lvl - 1 + DefaultTallyInset.
-        xR := l + w - lvl + 3 - DefaultTallyInset.
+        xR := l + w - lvl + 1 - DefaultTallyInset.
 
         dist := DefaultTallyDistance ? self graphicsDevice verticalPixelPerMillimeter rounded.
 
@@ -1196,7 +1196,7 @@
     ] ifFalse:[
         x := l + (w // 2) - 1.
         yT := t + lvl - 1 + DefaultTallyInset.
-        yB := t + h - lvl + 3 - DefaultTallyInset.
+        yB := t + h - lvl + 1 - DefaultTallyInset.
 
         dist := DefaultTallyDistance ? self graphicsDevice horizontalPixelPerMillimeter rounded.