TextView.st
changeset 6475 230dfd1e94ae
parent 6467 33f690b561ac
child 6546 bbd92ce2f235
--- a/TextView.st	Sun Oct 28 12:39:07 2018 +0100
+++ b/TextView.st	Mon Oct 29 09:42:11 2018 +0100
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  COPYRIGHT (c) 1989 by Claus Gittinger
               All Rights Reserved
@@ -3392,13 +3394,13 @@
         ].
     ].
 
-    self selectionChanged. false ifTrue:[ self repairDamage ].
-    self scrollRight.      false ifTrue:[ self repairDamage ].
-
+    self selectionChanged. "/ false ifTrue:[ self repairDamage ].
+    self scrollRight.      "/ false ifTrue:[ self repairDamage ].
+    self invalidate.
     autoScrollBlock notNil ifTrue:[ Processor addTimedBlock:autoScrollBlock afterSeconds:autoScrollDeltaT ].
 
     "Modified: / 05-08-2010 / 21:25:56 / cg"
-    "Modified: / 13-06-2018 / 22:52:49 / Claus Gittinger"
+    "Modified: / 29-10-2018 / 09:39:54 / Claus Gittinger"
 !
 
 scrollSelectUp
@@ -4434,7 +4436,7 @@
                 ]].
 
                 (inLineComment not & isIgnoreChar) ifTrue:[
-                    "/ íf in a line comment, single ' and " may occur.
+                    "/ íf in a line comment, single ' and " may occur.
                     "/ ignoring ~~ 0 means, that we ignore non-matching peers.
                     (ignoring ~~ 0 and:[nesting top first = cc]) ifTrue:[
                         ignoring := ignoring - 1.