widget: emit only one ChangeEvent per Editor.Layout

ChangeEvent contains no information, so emitting multiple instances
per layout is pointless.

Signed-off-by: Elias Naur <mail@eliasnaur.com>
This commit is contained in:
Elias Naur
2022-07-13 18:13:59 +02:00
parent 53da73de35
commit 48e9cdaffd
+1 -1
View File
@@ -374,10 +374,10 @@ func (e *Editor) processKey(gtx layout.Context) {
e.caret.start = e.closestPosition(combinedPos{runes: ke.Start}).runes e.caret.start = e.closestPosition(combinedPos{runes: ke.Start}).runes
e.caret.end = e.closestPosition(combinedPos{runes: ke.End}).runes e.caret.end = e.closestPosition(combinedPos{runes: ke.End}).runes
} }
}
if e.rr.Changed() { if e.rr.Changed() {
e.events = append(e.events, ChangeEvent{}) e.events = append(e.events, ChangeEvent{})
} }
}
} }
func (e *Editor) moveLines(distance int, selAct selectionAction) { func (e *Editor) moveLines(distance int, selAct selectionAction) {