Myles Scolnick

@scls19fr are there any pdf rendering libraries you recommend? Exporting to PDF by CLI will be tricky. It'll still require a browser. Do you expect that to run a headless...

@scls19fr @fujimuramasa We have a way to HTML export now from the CLI: `marimo export html notebook.py -o notebook.html`. Could you pipe this into one of those other CLI/tools to...

This might be an issue with windows (or the python version) - @scls19fr can you create a different issue with your python version and env info (with `marimo env`)

We can have 2 callout stylings if we want - for example Chakra has 4: `subtle, solid, left-accent or top-accent.`. We can at least have 2: `subtle` and `left-accent` maybe

this is because we keep track of the execution time on the frontend. we should move this to the backend into the SessionView (and pass it to the frontend)

It is odd, because i think this worked at some point but either we must have regressed it or the library changed something that we don't handle properly. I will...

This actually might be an error upstream The HTML output from `leafmap.Map` is looking for `https://cdn.jsdelivr.net/npm/[email protected]/dist/index.js`, which does not exist, but rather `https://cdn.jsdelivr.net/npm/[email protected]/lib/index.js` does (`dist` -> `lib`)

Confirmed - when switching from `0.18.0` -> `0.19.0` there file paths changes: https://cdn.jsdelivr.net/npm/[email protected]/ https://cdn.jsdelivr.net/npm/[email protected]/ e.g. `uv pip install ipyleaflet==0.18.0` Do you mind filing a ticket upstream?

Yea - I still saw the 404 on `jupyter-leaflet.js`. im not sure what that file does, so unsure if it was a red-herring or if the widget is still missing...

Going to close this issue, as the issue was upstream