From eb138848ec7a8978f0ed7c717374684d2315dc03 Mon Sep 17 00:00:00 2001 From: Jonathan Kelley Date: Mon, 10 Jan 2022 12:06:55 -0500 Subject: [PATCH] feat: also hide placeholder node --- packages/desktop/src/index.js | 1 + 1 file changed, 1 insertion(+) diff --git a/packages/desktop/src/index.js b/packages/desktop/src/index.js index dfa11bf67..88cf9fcdc 100644 --- a/packages/desktop/src/index.js +++ b/packages/desktop/src/index.js @@ -321,6 +321,7 @@ class Interpreter { CreatePlaceholder(edit) { let el = document.createElement("pre"); + el.hidden = true; this.stack.push(el); this.nodes[edit.root] = el; }