Tools__CodeView2.st
changeset 16578 5158bde22d4c
parent 16577 57afbd99e827
child 16579 fdbfa4955205
child 16587 bd22b8fd7edb
--- 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 <jan.vrany@fit.cvut.cz>"
@@ -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.