diff options
| author | Gabriel Schneider <[email protected]> | 2026-10-01 14:03:11 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-10-01 15:24:04 -0300 |
| commit | 3b186b7724dd3ca0ff67c3c8a0f9823f0f161fc5 (patch) | |
| tree | c331f529df447bbeee56cfa21e7f7d3438bcf62b /docs/site/casts/casts.toml | |
| parent | 54948bf22fb891bd31fcd5dc33e0bce7552fe1d4 (diff) | |
| download | pardes-3b186b7724dd3ca0ff67c3c8a0f9823f0f161fc5.tar.gz pardes-3b186b7724dd3ca0ff67c3c8a0f9823f0f161fc5.zip | |
The landing's words jump to their recordings, the casts open on their telling frame, and #mode-box draws the box
Each recording on the landing has an anchor (rec-<name>); the "What's
in it" words jump to theirs (Terminals, PDFs, Images, Diff review,
Scripting) and the recording's caption ends in a link to the docs;
Language servers and Themes, with no recording, link to the docs. A
cast's `poster_at` in casts.toml picks the frame it shows until it
plays: live-text at the error, terminals at the copied line, petscii on
the Mandelbrot; the casts wait for the in-view script to play them. A
caption may hold markup: the 9P clip links 9ns to setup. The downloads
give their size, read from project.download, and the footer links the
changes (project.changes).
The guide's annotated pane has alt text, pin 1 beside the workspace tag
rather than on Changelog, and pin 5 on the body's text; pin positions
are written with repr, since str puts a U+2212 minus CSS cannot read.
#mode-box(mark, unsaved:) draws a pane's box as it looks, in print and
HTML.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Diffstat (limited to 'docs/site/casts/casts.toml')
| -rw-r--r-- | docs/site/casts/casts.toml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/site/casts/casts.toml b/docs/site/casts/casts.toml index 9f0dd1a5..9cf8afb6 100644 --- a/docs/site/casts/casts.toml +++ b/docs/site/casts/casts.toml @@ -2,6 +2,7 @@ # shown: casts/<name>.cast for each. Each plays by itself while on screen; all loop # and fit the page's width. While `ready` is false the cast shows # placeholder.svg, so the site builds before a recording exists. +# `poster_at` is the second whose frame stands for the cast before it plays. # test/record_casts.py writes the casts and this file. [[cast]] @@ -11,6 +12,7 @@ caption = "Rename a variable with helix keys, middle-click make, right-click the cols = 100 rows = 30 ready = true +poster_at = 14 [[cast]] name = "terminals" @@ -19,6 +21,7 @@ caption = "A shell beside a file: Ctrl-b, copy a line, page git log." cols = 100 rows = 30 ready = true +poster_at = 11 [[cast]] name = "petscii" @@ -27,3 +30,4 @@ caption = "No kitty graphics: a Mandelbrot in PETSCII, then the Intel manual sea cols = 100 rows = 30 ready = true +poster_at = 3 |