# HG changeset patch
# User Thomas Lindae <thomas.lindae@in.tum.de>
# Date 1716808875 -7200
# Node ID 95f650a8ce08f8ee94727e503670bdb336b8e5f5
# Parent  07d25a1830df1c70f1d20a0a32eed7dd0983dbbb
vscode: reduced how often symbol width gets measured;

diff -r 07d25a1830df -r 95f650a8ce08 src/Tools/VSCode/extension/media/main.js
--- a/src/Tools/VSCode/extension/media/main.js	Mon May 27 13:20:31 2024 +0200
+++ b/src/Tools/VSCode/extension/media/main.js	Mon May 27 13:21:15 2024 +0200
@@ -25,14 +25,14 @@
             vscode.postMessage({'command': 'locate'});
         });
 
+    const test_string = "mix";
+    const test_span = document.createElement("span");
+    test_span.textContent = test_string;
+    document.body.appendChild(test_span);
+    const symbol_width = test_span.getBoundingClientRect().width / test_string.length;
+    document.body.removeChild(test_span);
+
     const get_window_margin = () => {
-        const test_string = "mix";
-        const test_span = document.createElement("span");
-        test_span.textContent = test_string;
-        document.body.appendChild(test_span);
-        const symbol_width = test_span.getBoundingClientRect().width / test_string.length;
-        document.body.removeChild(test_span);
-
         const width = window.innerWidth / symbol_width;
         const result = Math.max(width - 16, 1); // extra headroom
         return result;