--- a/UserPreferences.st	Sat Oct 21 16:15:34 2017 +0200
+++ b/UserPreferences.st	Sat Oct 21 17:04:03 2017 +0200
@@ -3297,6 +3297,24 @@
 
 !UserPreferences methodsFor:'accessing-prefs-browser-syntaxColoring'!
 
+annotationColor
+    "the color used for annotations/resource specs;
+     If syntaxColoring is turned on."
+
+    ^ self at:#annotationColor ifAbsent:[nil]
+
+    "Created: / 21-10-2017 / 17:02:15 / cg"
+!
+
+annotationEmphasis
+    "the emphasis used for annotations/resource specs;
+     If syntaxColoring is turned on."
+
+    ^ self at:#annotationEmphasis ifAbsent:[nil]
+
+    "Created: / 21-10-2017 / 17:02:32 / cg"
+!
+
 argumentIdentifierColor
     "the color used for argument identifiers;
      If syntaxColoring is turned on."
@@ -3328,9 +3346,15 @@
     "the emphasis used for illegal identifiers;
      If syntaxColoring is turned on."
 
-    ^ self at:#badIdentifierEmphasis ifAbsent:[UserPreferences default at:#badIdentifierEmphasis ifAbsent:#normal]
+    ^ self 
+        at:#badIdentifierEmphasis 
+        ifAbsent:[
+            UserPreferences default 
+                at:#badIdentifierEmphasis 
+                ifAbsent:#normal]
 
     "Modified: / 21-04-2011 / 12:34:50 / cg"
+    "Modified (format): / 21-10-2017 / 17:01:23 / cg"
 !
 
 booleanConstantColor
@@ -3434,20 +3458,32 @@
     "the color used for comments;
      If syntaxColoring is turned on."
 
-    ^ self at:#commentColor ifAbsent:[UserPreferences default at:#commentColor ifAbsent:[Color black]]
+    ^ self 
+        at:#commentColor 
+        ifAbsent:[
+            UserPreferences default 
+                at:#commentColor 
+                ifAbsent:[Color black]]
 
     "Created: / 31-03-1998 / 15:10:23 / cg"
     "Modified: / 21-04-2011 / 12:33:39 / cg"
+    "Modified (format): / 21-10-2017 / 17:02:55 / cg"
 !
 
 commentEmphasis
     "the emphasis used for comments;
      If syntaxColoring is turned on."
 
-    ^ self at:#commentEmphasis ifAbsent:[UserPreferences default at:#commentEmphasis ifAbsent:#normal]
+    ^ self 
+        at:#commentEmphasis 
+        ifAbsent:[
+            UserPreferences default 
+                at:#commentEmphasis 
+                ifAbsent:#normal]
 
     "Created: / 31-03-1998 / 15:09:59 / cg"
     "Modified: / 21-04-2011 / 12:34:48 / cg"
+    "Modified (format): / 21-10-2017 / 17:03:11 / cg"
 !
 
 commentEmphasisAndColor