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:[