changeset 5834 | 60d6d5a839d3 |
parent 5833 | 584a6e4d283a |
child 5839 | 2cdb82875bf2 |
child 5850 | 988655795073 |
--- 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. ] !