From 12b98a8a0d6b68caf387fb225c58c5d4b802509b Mon Sep 17 00:00:00 2001 From: singerdmx Date: Mon, 28 Dec 2020 15:52:33 -0800 Subject: [PATCH] Update editor to catch targetChild null --- lib/models/documents/history.dart | 2 +- lib/widgets/editor.dart | 4 +++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/lib/models/documents/history.dart b/lib/models/documents/history.dart index d8f48239..423245ff 100644 --- a/lib/models/documents/history.dart +++ b/lib/models/documents/history.dart @@ -89,7 +89,7 @@ class History { return false; } Delta delta = source.removeLast(); - Delta base = doc.toDelta(); + Delta base = Delta.from(doc.toDelta()); Delta inverseDelta = delta.invert(base); dest.add(inverseDelta); this.lastRecorded = 0; diff --git a/lib/widgets/editor.dart b/lib/widgets/editor.dart index d17e76ad..4fbd5a6b 100644 --- a/lib/widgets/editor.dart +++ b/lib/widgets/editor.dart @@ -890,7 +890,9 @@ class RenderEditableContainerBox extends RenderBox } targetChild = childAfter(targetChild); } - assert(targetChild != null); + if (targetChild == null) { + throw ('targetChild should not be null'); + } return targetChild; }