#FEATURE by cg
authorClaus Gittinger <cg@exept.de>
Thu, 25 Aug 2016 23:49:41 +0200
changeset 5834 60d6d5a839d3
parent 5833 584a6e4d283a
child 5835 36a377f4601a
child 5839 2cdb82875bf2
#FEATURE by cg class: EditTextView changed: #undo positioning after undo
EditTextView.st
--- a/EditTextView.st	Tue Aug 23 18:16:30 2016 +0200
+++ b/EditTextView.st	Thu Aug 25 23:49:41 2016 +0200
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  COPYRIGHT (c) 1989 by Claus Gittinger
 	      All Rights Reserved
@@ -8464,9 +8466,11 @@
     "undo the last edit operation"
 
     undoSupport hasUndoAction ifFalse:[
-	self beep
+        self beep
     ] ifTrue:[
-	undoSupport undo.
+        undoSupport undo.
+        self makeSelectionVisible.
+        self makeCursorVisible.
     ]
 !