@marimo-team/frontend 0.23.14-dev23 → 0.23.14-dev24

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/dist/index.html CHANGED
@@ -66,7 +66,7 @@
66
66
  <marimo-server-token data-token="{{ server_token }}" hidden></marimo-server-token>
67
67
  <!-- /TODO -->
68
68
  <title>{{ title }}</title>
69
- <script type="module" crossorigin src="./assets/index-drjI8eMg.js"></script>
69
+ <script type="module" crossorigin src="./assets/index-D3lxLHpx.js"></script>
70
70
  <link rel="modulepreload" crossorigin href="./assets/preload-helper-BW0IMuFq.js">
71
71
  <link rel="modulepreload" crossorigin href="./assets/chunk-LvLJmgfZ.js">
72
72
  <link rel="modulepreload" crossorigin href="./assets/react-Bj1aDYRI.js">
@@ -248,7 +248,7 @@
248
248
  <link rel="stylesheet" crossorigin href="./assets/cells-BVzo2MHf.css">
249
249
  <link rel="stylesheet" crossorigin href="./assets/markdown-renderer-DdDKmWlR.css">
250
250
  <link rel="stylesheet" crossorigin href="./assets/JsonOutput-BQtz7-np.css">
251
- <link rel="stylesheet" crossorigin href="./assets/index-CaelsqOA.css">
251
+ <link rel="stylesheet" crossorigin href="./assets/index-YVIqbajK.css">
252
252
  </head>
253
253
  <body>
254
254
  <div id="root"></div>
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@marimo-team/frontend",
3
- "version": "0.23.14-dev23",
3
+ "version": "0.23.14-dev24",
4
4
  "main": "dist/main.js",
5
5
  "types": "dist/index.d.ts",
6
6
  "type": "module",
@@ -138,3 +138,17 @@
138
138
  display: inline-block;
139
139
  padding: 2px;
140
140
  }
141
+
142
+ /* Rename symbol popup (F2). The upstream popup hardcodes white inline styles;
143
+ override with theme tokens. */
144
+ .cm-rename-popup {
145
+ background: var(--popover) !important;
146
+ border-color: var(--border) !important;
147
+ color: var(--popover-foreground) !important;
148
+ }
149
+
150
+ .cm-rename-popup input {
151
+ background: var(--background) !important;
152
+ border-color: var(--border) !important;
153
+ color: var(--foreground) !important;
154
+ }