Fix in SmallSense::ParseNodeInspector: scroll to selection after selecting a parse node.
authorJan Vrany <jan.vrany@fit.cvut.cz>
Fri, 30 Aug 2013 12:00:05 +0100
changeset 71 8ef42f6f9b05
parent 70 ebcce6e2e1d4
child 72 7a71bbc338e2
child 73 c4d090b63d05
Fix in SmallSense::ParseNodeInspector: scroll to selection after selecting a parse node.
SmallSense__ParseNodeInspector.st
--- 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'!