From 561380faacbe6daba5e782cf410283c8432465a6 Mon Sep 17 00:00:00 2001 From: Dmitry Vasilev Date: Fri, 29 Sep 2023 18:48:49 +0300 Subject: [PATCH] fix --- src/editor/editor.js | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/editor/editor.js b/src/editor/editor.js index c0f7794..a552387 100644 --- a/src/editor/editor.js +++ b/src/editor/editor.js @@ -321,12 +321,15 @@ export class Editor { container.classList.add('is_not_dom_el') const line_height = this.ace_editor.renderer.lineHeight content.style.transform = `translate(0px, -${line_height}px)` + // hide element before margin applied to avoid jitter + container.style.display = 'none' + session.widgetManager.addLineWidget(widget) // update_value_explorer_margin relies on getLastVisibleRow which can be // incorrect because it may be executed right after set_cursor_position // which is async in ace_editor. Use setTimeout setTimeout(() => { this.update_value_explorer_margin() - session.widgetManager.addLineWidget(widget) + container.style.display = '' }, 0) }