diff -r 57afbd99e827 -r 5158bde22d4c Tools__CodeView2.st --- a/Tools__CodeView2.st Fri May 13 14:47:01 2016 +0200 +++ b/Tools__CodeView2.st Fri May 13 15:04:56 2016 +0200 @@ -1092,7 +1092,7 @@ "this changes the scroller's background, to show the positions of warnings, for easy location of interesting spots" - |allAnnotations scroller newBackground| + |allAnnotations scroller newBackground bla| allAnnotations := OrderedCollection new. services do:[:eachService | @@ -1384,7 +1384,8 @@ ^ services contains:[:service | - service isEnabled and:[ ((service buttonMultiPress: button x:x y:y in: view) == true) ] + service isEnabled + and:[ ((service buttonMultiPress: button x:x y:y in: view) == true) ] ]. "Modified: / 07-03-2010 / 13:53:47 / Jan Vrany " @@ -2287,12 +2288,21 @@ overAllHeight = 0 ifTrue:[ ^ self ]. annotations do:[:eachAnnotation | - |lineNr yThumb clr1 clr2| + |lineNr yThumb baseColor clr1 clr2| (lineNr := eachAnnotation line) notNil ifTrue:[ yThumb := (aScroller height * (lineNr / overAllHeight)) rounded. (yThumb between:y-5 and:(y + h + 5)) ifTrue:[ - clr1 := Color yellow lightened lightened. + eachAnnotation rule severity == #error ifTrue:[ + baseColor := Color red. + ] ifFalse:[ + eachAnnotation rule severity == #warning ifTrue:[ + baseColor := Color orange. + ] ifFalse:[ + baseColor := Color yellow. + ]. + ]. + clr1 := baseColor lightened lightened. clr2 := clr1 darkened. aScroller paint:clr1. aScroller fillRectangleX:3 y:(yThumb-5 max:0) width:aScroller width-5 height:8.