--- a/UserPreferences.st	Thu Apr 29 16:55:35 2010 +0100
+++ b/UserPreferences.st	Tue May 04 12:50:05 2010 +0100
@@ -1489,6 +1489,71 @@
 
 !UserPreferences methodsFor:'accessing-prefs-browser-colors'!
 
+colorForInstrumentedFullyCoveredCode
+    "the color for code in the browser which is instrumented 
+     and where all branches have been executed (also code, which has been executed)"
+
+    |clr|
+
+    clr := self at:#colorForInstrumentedFullyCoveredCode ifAbsent:nil.
+    clr isNil ifTrue:[
+        clr := Color green slightlyDarkened.
+        self at:#colorForInstrumentedFullyCoveredCode put:clr.
+    ].
+    ^ clr
+
+    "
+     UserPreferences current
+        at:#emphasisForInstrumentedFullyCoveredCode 
+        put:(Color green slightlyDarkened).
+    "
+
+    "Created: / 28-04-2010 / 13:58:52 / cg"
+!
+
+colorForInstrumentedNeverCalledCode
+    "the color for code in the browser which is instrumented but has never been called"
+
+    |clr|
+
+    clr := self at:#colorForInstrumentedNeverCalledCode ifAbsent:nil.
+    clr isNil ifTrue:[
+        clr := Color red slightlyDarkened.
+        self at:#colorForInstrumentedNeverCalledCode put:clr.
+    ].
+    ^ clr
+
+    "
+     UserPreferences current
+        at:#colorForInstrumentedNeverCalledCode 
+        put:(Color red slightlyDarkened).
+    "
+
+    "Created: / 28-04-2010 / 13:59:43 / cg"
+!
+
+colorForInstrumentedPartiallyCoveredCode
+    "color for code in the browser which is instrumented and where some branches have been
+     executed"
+
+    |clr|
+
+    clr := self at:#colorForInstrumentedPartiallyCoveredCode ifAbsent:nil.
+    clr isNil ifTrue:[
+        clr := Color orange.
+        self at:#colorForInstrumentedPartiallyCoveredCode put:clr.
+    ].
+    ^ clr
+
+    "
+     UserPreferences current
+        at:#colorForInstrumentedPartiallyCoveredCode 
+        put:(Color orange slightlyLightened).
+    "
+
+    "Created: / 28-04-2010 / 14:00:56 / cg"
+!
+
 emphasisForChangedCode
     "the emphasis for changed code (in changeSet) in the browser"
 
@@ -1551,6 +1616,80 @@
     "
 !
 
+emphasisForInstrumentedFullyCoveredCode
+    "the emphasis for code in the browser which is instrumented and where all branches have been
+     executed"
+
+    |emp|
+
+    emp := self at:#emphasisForInstrumentedFullyCoveredCode ifAbsent:nil.
+    emp isNil ifTrue:[
+        emp := #color->Color green slightlyDarkened.
+        emp := Array with:#bold with:emp.
+        "/ emp := #color->Color blue darkened.
+        self at:#emphasisForInstrumentedFullyCoveredCode put:emp.
+    ].
+    ^ emp
+
+    "
+     UserPreferences current
+        at:#emphasisForInstrumentedFullyCoveredCode 
+        put:(Array with:#bold with:(#color->Color green slightlyDarkened)).
+    "
+
+    "Created: / 27-04-2010 / 13:01:01 / cg"
+    "Modified: / 27-04-2010 / 14:48:11 / cg"
+!
+
+emphasisForInstrumentedNeverCalledCode
+    "the emphasis for code in the browser which is instrumented but has never been called"
+
+    |emp|
+
+    emp := self at:#emphasisForInstrumentedNeverCalledCode ifAbsent:nil.
+    emp isNil ifTrue:[
+        emp := #color->Color red slightlyDarkened.
+        emp := Array with:#bold with:emp.
+        "/ emp := #color->Color blue darkened.
+        self at:#emphasisForInstrumentedNeverCalledCode put:emp.
+    ].
+    ^ emp
+
+    "
+     UserPreferences current
+        at:#emphasisForInstrumentedNeverCalledCode 
+        put:(Array with:#bold with:(#color->Color red slightlyDarkened)).
+    "
+
+    "Created: / 27-04-2010 / 12:59:47 / cg"
+    "Modified: / 27-04-2010 / 14:48:39 / cg"
+!
+
+emphasisForInstrumentedPartiallyCoveredCode
+    "the emphasis for code in the browser which is instrumented and where some branches have been
+     executed"
+
+    |emp|
+
+    emp := self at:#emphasisForInstrumentedPartiallyCoveredCode ifAbsent:nil.
+    emp isNil ifTrue:[
+        emp := #color->Color orange.
+        emp := Array with:#bold with:emp.
+        "/ emp := #color->Color blue darkened.
+        self at:#emphasisForInstrumentedPartiallyCoveredCode put:emp.
+    ].
+    ^ emp
+
+    "
+     UserPreferences current
+        at:#emphasisForInstrumentedPartiallyCoveredCode 
+        put:(Array with:#bold with:(#color->Color orange slightlyLightened)).
+    "
+
+    "Created: / 27-04-2010 / 13:01:20 / cg"
+    "Modified: / 27-04-2010 / 18:50:43 / cg"
+!
+
 emphasisForModifiedBuffer
     |emp|
 
@@ -3105,13 +3244,14 @@
 !UserPreferences class methodsFor:'documentation'!
 
 version
-    ^ '$Id: UserPreferences.st 10517 2010-04-26 18:26:38Z vranyj1 $'
+    ^ '$Id: UserPreferences.st 10520 2010-05-04 11:50:05Z vranyj1 $'
 !
 
 version_CVS
-    ^ '§Header: /cvs/stx/stx/libbasic/UserPreferences.st,v 1.245 2010/03/15 11:49:20 cg Exp §'
+    ^ '§Header: /cvs/stx/stx/libbasic/UserPreferences.st,v 1.248 2010/04/30 09:52:43 cg Exp §'
 !
 
 version_SVN
-    ^ '$Id: UserPreferences.st 10517 2010-04-26 18:26:38Z vranyj1 $'
+    ^ '$Id: UserPreferences.st 10520 2010-05-04 11:50:05Z vranyj1 $'
 ! !
+