changeset 18278 | 0aafdc282b1c |
parent 17817 | 1b622818977b |
child 19289 | 12fbc454fa61 |
--- a/DiffTextView.st Sat Jul 21 18:38:10 2018 +0200 +++ b/DiffTextView.st Mon Jul 23 09:51:58 2018 +0200 @@ -282,7 +282,9 @@ postRealize super postRealize. - self moveToNextChanged + self moveToNextChangedAfter:1 + + "Modified: / 23-07-2018 / 09:47:19 / Claus Gittinger" ! ! !DiffTextView methodsFor:'private'!