@marimo-team/islands 0.19.10-dev15 → 0.19.10-dev19
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/main.js
CHANGED
|
@@ -73304,7 +73304,7 @@ Image URL: ${r.imageUrl}`)), contextToXml({
|
|
|
73304
73304
|
return Logger.warn("Failed to get version from mount config"), null;
|
|
73305
73305
|
}
|
|
73306
73306
|
}
|
|
73307
|
-
const marimoVersionAtom = atom(getVersionFromMountConfig() || "0.19.10-
|
|
73307
|
+
const marimoVersionAtom = atom(getVersionFromMountConfig() || "0.19.10-dev19"), showCodeInRunModeAtom = atom(true);
|
|
73308
73308
|
atom(null);
|
|
73309
73309
|
var import_compiler_runtime$88 = require_compiler_runtime();
|
|
73310
73310
|
function useKeydownOnElement(e, r) {
|
package/package.json
CHANGED
|
@@ -226,6 +226,7 @@ export const AppChrome: React.FC<PropsWithChildren> = ({ children }) => {
|
|
|
226
226
|
|
|
227
227
|
const helperResizeHandle = (
|
|
228
228
|
<PanelResizeHandle
|
|
229
|
+
disabled={!isSidebarOpen}
|
|
229
230
|
onDragging={handleDragging}
|
|
230
231
|
className={cn(
|
|
231
232
|
"border-border print:hidden z-10",
|
|
@@ -237,6 +238,7 @@ export const AppChrome: React.FC<PropsWithChildren> = ({ children }) => {
|
|
|
237
238
|
|
|
238
239
|
const panelResizeHandle = (
|
|
239
240
|
<PanelResizeHandle
|
|
241
|
+
disabled={!isDeveloperPanelOpen}
|
|
240
242
|
onDragging={handleDragging}
|
|
241
243
|
className={cn(
|
|
242
244
|
"border-border print:hidden z-20",
|
|
@@ -10,8 +10,10 @@ export const ThemeProvider: React.FC<PropsWithChildren> = memo(
|
|
|
10
10
|
const { theme } = useTheme();
|
|
11
11
|
useLayoutEffect(() => {
|
|
12
12
|
document.body.classList.add(theme, `${theme}-theme`);
|
|
13
|
+
document.body.dataset.theme = theme;
|
|
13
14
|
return () => {
|
|
14
15
|
document.body.classList.remove(theme, `${theme}-theme`);
|
|
16
|
+
delete document.body.dataset.theme;
|
|
15
17
|
};
|
|
16
18
|
}, [theme]);
|
|
17
19
|
|