SmallSense__ParseNodeInspector.st
changeset 71 8ef42f6f9b05
parent 67 020b7461b15e
child 98 c21c3e61a377
--- a/SmallSense__ParseNodeInspector.st	Thu Aug 29 14:01:15 2013 +0100
+++ b/SmallSense__ParseNodeInspector.st	Fri Aug 30 12:00:05 2013 +0100
@@ -524,10 +524,11 @@
 
     sourceView
         selectFromCharacterPosition: startPosition
-        to: stopPosition
+        to: stopPosition.
+    sourceView makeCursorVisible
 
     "Created: / 12-04-2007 / 12:29:42 / janfrog"
-    "Modified: / 26-11-2011 / 11:48:05 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+    "Modified: / 30-08-2013 / 02:06:09 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 ! !
 
 !ParseNodeInspector methodsFor:'menu actions'!