From 8c3cd0f1250d6f96948f5a326d6a6eb47a5b5b81 Mon Sep 17 00:00:00 2001 From: Dmitry Vasilev Date: Tue, 21 Nov 2023 03:10:33 +0800 Subject: [PATCH] fix value explorer not wrapped in with_code_execution --- src/editor/value_explorer.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/editor/value_explorer.js b/src/editor/value_explorer.js index 8cf60cf..7b6adcd 100644 --- a/src/editor/value_explorer.js +++ b/src/editor/value_explorer.js @@ -30,7 +30,7 @@ export class ValueExplorer { this.scroll_to_element = scroll_to_element this.on_escape = on_escape - event_target.addEventListener('keydown', (e) => { + event_target.addEventListener('keydown', e => with_code_execution(() => { /* Right - @@ -154,7 +154,7 @@ export class ValueExplorer { } } } - }) + })) } get_node_data(path, node_data = this.node_data) {