diff --git a/app/src/history/diff.ts b/app/src/history/diff.ts index f7ae20db7..55d13411d 100644 --- a/app/src/history/diff.ts +++ b/app/src/history/diff.ts @@ -149,8 +149,8 @@ export const showDiff = (ids: string) => { width: "80vw", height: "80vh", destroyCallback() { - leftEditor.destroy(); - rightEditor.destroy(); + leftEditor = undefined + rightEditor = undefined } }); dialog.element.addEventListener("click", (event) => { diff --git a/app/src/history/history.ts b/app/src/history/history.ts index fcfc7ecb0..fb08e3831 100644 --- a/app/src/history/history.ts +++ b/app/src/history/history.ts @@ -297,7 +297,7 @@ export const openHistory = () => { width: "80vw", height: "80vh", destroyCallback() { - historyEditor.destroy(); + historyEditor = undefined; } });