--- a/Tools__LintService.st	Tue Dec 03 22:29:15 2019 +0100
+++ b/Tools__LintService.st	Tue Dec 03 22:29:42 2019 +0100
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
 "
  COPYRIGHT (c) 2010 by Jan Vrany, SWING Research Group. CTU in Prague
               All Rights Reserved
@@ -253,7 +251,9 @@
     | service |
     service := self service: #'Tools::CodeHighlightingService'.
     service notNil ifTrue:[
-        service processSafely: delayed
+        service enabled ifTrue:[
+            service processSafely: delayed
+        ].
     ].
     codeView updateScrollersViewBackground.