Restore DOM-based metadata for VS Code extension compatibility

manzt · manzt · commit 1ba31482b798 · 2025-06-27T18:35:13.000-04:00
The changes in #5120 removed passing configuration data via HTML DOM elements. However, the marimo VS Code extension depends on these DOM-based attributes, leading to a regression. These changes restore the minimal set of DOM data attributes (`marimo-version`, `marimo-user-config`, `marimo-server-token`) required by the extension to function correctly. These additions are marked as temporary and should be removed once the extension is updated to no longer rely on them.
diff --git a/frontend/index.html b/frontend/index.html
@@ -53,6 +53,12 @@
       }
     </script>
     <marimo-filename hidden>{{ filename }}</marimo-filename>
+    <!-- TODO(Trevor): Legacy, required by VS Code plugin — remove when plugin is updated (see marimo/server/_templates/template.py) -->
+    <marimo-version data-version='{{ version }}' hidden></marimo-version>
+    <!-- IMPORTANT: Keep single quotes here — double quotes can cause JSON serialization issues -->
+    <marimo-user-config data-config='{{ user_config }}' hidden></marimo-user-config>
+    <marimo-server-token data-token='{{ server_token }}' hidden></marimo-server-token>
+    <!-- /TODO -->
     <title>{{ title }}</title>
   </head>
   <body>
diff --git a/marimo/_server/templates/templates.py b/marimo/_server/templates/templates.py
@@ -94,6 +94,12 @@ def home_page_template(
     html = html.replace("{{ title }}", "marimo")
     html = html.replace("{{ filename }}", "")
 
+    # TODO(Trevor): Legacy, required by VS Code plugin — remove when plugin is updated (see frontend/index.html)
+    html = html.replace("{{ server_token }}", str(server_token))
+    html = html.replace("{{ user_config }}", json.dumps(user_config))
+    html = html.replace("{{ version }}", get_version())
+    # /TODO
+
     html = html.replace(
         MOUNT_CONFIG_TEMPLATE,
         _get_mount_config(
