Skip to content

Rename @pluto block args to pluto_* prefix - #6

Merged
fonsp merged 1 commit into
mainfrom
claude/fervent-einstein-a26a88
Apr 20, 2026
Merged

fonsp merged 1 commit into
mainfrom
claude/fervent-einstein-a26a88

Conversation

@fonsp

@fonsp fonsp commented Apr 20, 2026

Copy link
Copy Markdown
Member

What changed

The @pluto block argument names are renamed to match Pluto's frontend window.* variable names exactly:

Old New
url pluto_notebookfile
state pluto_statefile
binder pluto_binder_url
disable_ui pluto_disable_ui

The source code and tests were already updated; this PR catches the remaining user-facing docs and examples.

What's included

  • README.md — hosted notebook example
  • docs/src/demo_url.md — live demo block
  • docs/src/index.md — hosted example + options table expanded to include the full list of supported pluto_* parameters (pluto_slider_server_url, pluto_preamble_html, pluto_recording_url, pluto_recording_audio_url)
  • CLAUDE.md — internal note in the URL resolution section

Reviewer notes

No logic changes. The options table in docs/src/index.md now documents all parameters from Pluto's launch-parameters script, which is the authoritative source shown in the PR description.

Updates all user-facing documentation to use the renamed arguments:
- url → pluto_notebookfile
- state → pluto_statefile
- binder → pluto_binder_url
- disable_ui → pluto_disable_ui

Also expands the options table with the full list of supported pluto_*
parameters (pluto_slider_server_url, pluto_preamble_html,
pluto_recording_url, pluto_recording_audio_url).

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@fonsp
fonsp merged commit 6565972 into main Apr 20, 2026
4 of 5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant