Tools__CodeHighlightingService.st
changeset 15805 aa12f05014e6
parent 15789 3c5227646c1f
child 15808 e6815b0469a1
child 15827 e1a8c9093e23
--- a/Tools__CodeHighlightingService.st	Sun Aug 23 11:33:31 2015 +0200
+++ b/Tools__CodeHighlightingService.st	Sun Aug 23 16:28:46 2015 +0200
@@ -218,7 +218,7 @@
 
         "textView" modified ifFalse:[
             oldCodeList isNil ifFalse:[
-                oldCode := oldCodeList asStringWithoutEmphasis.
+                oldCode := oldCodeList asStringCollection asStringWithoutEmphasis.
                 "textView" modified ifFalse:[
                     Screen currentScreenQuerySignal answer:codeView device
                     do:[