--- a/Tools__CodeHighlightingService.st	Wed Aug 22 09:29:46 2018 +0200
+++ b/Tools__CodeHighlightingService.st	Wed Aug 22 09:33:37 2018 +0200
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
 "
  COPYRIGHT (c) 2010 by Jan Vrany, SWING Research Group. CTU in Prague
               All Rights Reserved
@@ -66,6 +64,7 @@
 "
 ! !
 
+
 !CodeHighlightingService class methodsFor:'accessing'!
 
 label
@@ -335,13 +334,17 @@
 
 
     modified ifTrue:[ 
-        "/ a new input arrived in the meantime
+        "/ new input arrived in the meantime
+        codeView syntaxElements:nil.
+        codeView syntaxElementSelection:nil.
         ^ self 
     ].
 
     done ifFalse:[
         "/ another coloring process has already been started.
         "/ ignore this (leftover) code.
+        codeView syntaxElements:nil.
+        codeView syntaxElementSelection:nil.
         ^ self
     ].
 
@@ -406,6 +409,8 @@
         ]
     ].
     codeView syntaxElements: elements.
+    "/ codeView syntaxElementSelection:nil. - should we do this???
+
     gutterView invalidate.
     codeView updateScrollersViewBackground.
     
@@ -416,6 +421,7 @@
     "Modified (format): / 21-08-2011 / 09:38:22 / cg"
     "Modified: / 01-02-2012 / 19:18:00 / jv"
     "Modified: / 20-01-2015 / 15:17:52 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+    "Modified (comment): / 22-08-2018 / 08:15:14 / Claus Gittinger"
 ! !
 
 !CodeHighlightingService class methodsFor:'documentation'!