--- a/Tools__CodeNavigationService.st	Fri Jul 08 08:51:52 2011 +0200
+++ b/Tools__CodeNavigationService.st	Fri Jul 08 08:52:13 2011 +0200
@@ -227,10 +227,11 @@
      by the view."
 
     (view == textView and:[key == #'Control_L' or:[key == #Ctrl]]) ifTrue:
-        [self highlightClear. textView redraw. ^true].
+        [self highlightClear. ^true].
     ^false
 
     "Created: / 06-03-2010 / 21:03:59 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+    "Modified: / 08-07-2011 / 08:40:55 / cg"
 ! !
 
 !CodeNavigationService methodsFor:'initialization'!
@@ -302,12 +303,12 @@
             line emphasisAllRemove: currentEmphasis
         ]
     ].
-    textView redraw.
+    textView invalidate. "/ redraw. 
     codeView syntaxElementSelection:nil.
 
     "Modified: / 26-12-2007 / 12:28:05 / janfrog"
     "Created: / 25-06-2010 / 14:15:58 / Jan Vrany <jan.vrany@fit.cvut.cz>"
-    "Modified: / 30-06-2011 / 11:07:05 / cg"
+    "Modified: / 08-07-2011 / 08:50:45 / cg"
 !
 
 highlightElement: element
@@ -447,7 +448,7 @@
 !CodeNavigationService class methodsFor:'documentation'!
 
 version_CVS
-    ^ '$Header: /cvs/stx/stx/libtool/Tools__CodeNavigationService.st,v 1.4 2011-07-07 16:17:21 vrany Exp $'
+    ^ '$Header: /cvs/stx/stx/libtool/Tools__CodeNavigationService.st,v 1.5 2011-07-08 06:52:13 cg Exp $'
 !
 
 version_SVN