--- a/EditTextView.st Wed Aug 22 09:32:31 2018 +0200
+++ b/EditTextView.st Wed Aug 22 12:57:09 2018 +0200
@@ -5015,13 +5015,26 @@
leftRest := line
]
].
+ "/ -- debug: self windowGroup sensor hasDamage ifTrue:[self halt].
+
leftRest notNil ifTrue:[
- (self trimBlankLines and:[leftRest isBlank]) ifTrue:[leftRest := nil]
- ].
- self basicListAt:lineNr put:leftRest.
+ (self trimBlankLines and:[leftRest isBlank]) ifTrue:[leftRest := nil].
+ ].
+ leftRest = (self listAt:lineNr) ifFalse:[
+ self basicListAt:lineNr put:leftRest.
+ ].
+ "/ -- debug: (self windowGroup sensor hasDamageFor:self) ifTrue:[self halt].
+
+ "/ -- debug: TraceDamage := self.
+
self nonUndoableDo:[
self withoutRedrawInsertLine:rightRest before:(lineNr + 1).
].
+
+ "/ Delay waitForSeconds:1.
+ "/ (self windowGroup sensor hasDamageFor:self) ifTrue:[self halt].
+ "/ TraceDamage := nil.
+
visLine := self listLineToVisibleLine:(lineNr).
visLine notNil ifTrue:[
w := self widthForScrollBetween:lineNr
@@ -5040,13 +5053,14 @@
].
self redrawLine:lineNr.
self redrawLine:(lineNr + 1).
- mustWait ifTrue:[self waitForExpose]
+ mustWait ifTrue:[self waitForExpose].
].
widthOfWidestLine := nil. "/ unknown
self textChanged.
"Modified: / 06-12-2010 / 13:12:55 / cg"
"Modified: / 19-04-2018 / 12:21:52 / stefan"
+ "Modified: / 22-08-2018 / 12:56:24 / Claus Gittinger"
!
basicWithoutRedrawInsertLines:lines from:start to:end before:lineNr