--- a/CodeView.st	Thu Jun 30 23:50:35 2011 +0200
+++ b/CodeView.st	Fri Jul 01 15:05:18 2011 +0200
@@ -75,6 +75,12 @@
 "
 ! !
 
+!CodeView class methodsFor:'others'!
+
+version_CVS
+    ^ '$Header: /cvs/stx/stx/libwidg/CodeView.st,v 1.62 2011-07-01 13:05:18 cg Exp $'
+! !
+
 !CodeView methodsFor:'accessing'!
 
 explainAction:aBlock
@@ -201,15 +207,17 @@
             "redraw selection in normal color"
             self selectFromLine:selectionStartLine col:selectionStartCol 
                          toLine:selectionEndLine col:selectionEndCol.
+            self invalidate.
             ex return
         ] do:[
             super accept.
         ]
     ] ensure:[
-        self unselect.
+        self cursor:Cursor normal.
+        "/ self unselect.
     ]
 
-    "Modified: 7.3.1997 / 11:06:13 / cg"
+    "Modified: / 30-06-2011 / 19:41:39 / cg"
 !
 
 editMenu
@@ -321,5 +329,5 @@
 !CodeView class methodsFor:'documentation'!
 
 version
-    ^ '$Header: /cvs/stx/stx/libwidg/CodeView.st,v 1.61 2009-05-18 14:30:25 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libwidg/CodeView.st,v 1.62 2011-07-01 13:05:18 cg Exp $'
 ! !