#UI_ENHANCEMENT by cg
authorClaus Gittinger <cg@exept.de>
Wed, 18 May 2016 14:56:05 +0200
changeset 16620 5fbb028b00dd
parent 16619 5380e5ea8cb2
child 16621 fc007552c263
#UI_ENHANCEMENT by cg class: Tools::CodeView2 scrollbar drawing fix
Tools__CodeView2.st
--- a/Tools__CodeView2.st	Wed May 18 10:49:38 2016 +0200
+++ b/Tools__CodeView2.st	Wed May 18 14:56:05 2016 +0200
@@ -2299,6 +2299,9 @@
 !CodeView2::AnnotationShowingScrollerBackground methodsFor:'drawing'!
 
 fillRectangleX:x y:y width:w height:h in:aScroller
+    "I am asked to draw the background of aScroller.
+     If any annotation is in that range, draw it"
+    
     |overAllHeight|
 
     annotations isEmptyOrNil ifTrue:[^ self ].
@@ -2327,7 +2330,7 @@
                 aScroller paint:clr1.
                 aScroller fillRectangleX:3 y:(yThumb-5 max:0) width:aScroller width-5 height:8.
                 aScroller paint:clr2.
-                aScroller displayRectangleX:3 y:(yThumb-5 max:0) width:aScroller width-5 height:10.
+                aScroller displayRectangleX:3 y:(yThumb-5 max:0) width:aScroller width-5 height:9.
             ].
         ].
     ]