documentation: embed marimo notebooks in docs website #3778
Conversation
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #3778 +/- ##
==========================================
- Coverage 89.01% 88.91% -0.11%
==========================================
Files 320 322 +2
Lines 43551 43633 +82
Branches 5418 5421 +3
==========================================
+ Hits 38768 38795 +27
- Misses 3430 3485 +55
Partials 1353 1353 ☔ View full report in Codecov by Sentry. 🚀 New features to boost your workflow:
|
This reverts commit e6979bd.
superlopuh
force-pushed
the
sasha/docs/marimo-tab
branch
from
e5e344e to
3f553d1
Compare
| from typing import Any | ||
|
|
||
| from pymdownx.blocks import BlocksExtension # pyright: ignore[reportMissingTypeStubs] | ||
| from pymdownx.blocks.block import ( # pyright: ignore[reportMissingTypeStubs] |
There was a problem hiding this comment.
I decided to do a drive-by linting of their project as a meditative activity: facelessuser/pymdown-extensions#2634
There was a problem hiding this comment.
This is mostly a copy/paste from the marimo source code, I could've deleted a lot of code that we don't use but I'm hoping that these changes can just make it into their repo soon and we can delete this file entirely.
| def create_marimo_app_url(code: str, mode: str = "read") -> str: | ||
| from lzstring2 import LZString | ||
|
|
||
| encoded_code = LZString.compress_to_encoded_URI_component(code) |
There was a problem hiding this comment.
This is the main difference with their version, I reimplemented the compression function they use to generate the URL in Python.
| @@ -66,6 +68,9 @@ xdsl-tblgen = "xdsl.tools.tblgen_to_py:main" | |||
| platforms = ["Linux", "Mac OS-X", "Unix"] | |||
| zip-safe = false | |||
|
|
|||
| [tool.uv.sources] | |||
| lzstring2 = { git = "https://github.com/superlopuh/lz-string.git" } | |||
There was a problem hiding this comment.
The existing ports are not up to date and not compatible...
superlopuh
changed the title
Co-authored-by: Chris Vasiladiotis <[email protected]>
To test locally:
See it live: https://xdsl--3778.org.readthedocs.build/3778/marimo/
I had to add a temporary mkdocs extension to inline the marimo thing, due to the upstream one being broken. They said that they were interested in fixing it, but I actually had to reimplement a part of a compression library that they depend on in js to re-create the URLs, so I don't want to be blocked on the Marimo team approving that.
Resolves #3852