From 4bfde14aa816eebfbd10853a0efd2d4c02cb400c Mon Sep 17 00:00:00 2001 From: mcDandy Date: Tue, 26 May 2026 13:49:27 +0200 Subject: [PATCH] AI: set gutter size correctly --- web/script_text_input.js | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/web/script_text_input.js b/web/script_text_input.js index 9efb5e8..55cd2da 100644 --- a/web/script_text_input.js +++ b/web/script_text_input.js @@ -313,6 +313,19 @@ if (!window.__mrmthScriptInputUnifiedInit) { syntaxLayer.style.fontStyle = cs.fontStyle; syntaxLayer.style.lineHeight = cs.lineHeight; syntaxLayer.style.padding = cs.padding; + measureEl.style.fontFamily = cs.fontFamily; + measureEl.style.fontSize = cs.fontSize; + measureEl.style.fontWeight = cs.fontWeight; + measureEl.style.fontStyle = cs.fontStyle; + measureEl.style.lineHeight = cs.lineHeight; + measureEl.style.padding = cs.padding; + gutterContent.style.fontFamily = cs.fontFamily; + gutterContent.style.fontSize = cs.fontSize; + gutterContent.style.fontWeight = cs.fontWeight; + gutterContent.style.fontStyle = cs.fontStyle; + gutterContent.style.lineHeight = cs.lineHeight; + gutterContent.style.padding = cs.padding; + gutterContent.style.boxSizing = 'border-box'; const lineHeightPx = getLineHeightPx(textarea); const refresh = () => {