diff options
Diffstat (limited to 'docs/site/casts/casts.toml')
| -rw-r--r-- | docs/site/casts/casts.toml | 21 |
1 files changed, 15 insertions, 6 deletions
diff --git a/docs/site/casts/casts.toml b/docs/site/casts/casts.toml index e639e7b4..d902feba 100644 --- a/docs/site/casts/casts.toml +++ b/docs/site/casts/casts.toml @@ -2,19 +2,28 @@ # shown: casts/<name>.cast for each. The first plays by itself; 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. +# test/record_casts.py writes the casts and this file. [[cast]] -name = "editing" -title = "Editing in a terminal" -caption = "Recording to come." +name = "live-text" +title = "Live text" +caption = "Helix keys edit; middle-click runs make; right-click the error opens its line." cols = 100 rows = 30 -ready = false +ready = true [[cast]] name = "terminals" title = "Terminals as panes" -caption = "Recording to come." +caption = "A shell beside a file: Ctrl-b, copy a line, page git log." cols = 100 rows = 30 -ready = false +ready = true + +[[cast]] +name = "petscii" +title = "Images and PDFs in a plain terminal" +caption = "No kitty graphics: Mandelbrots as PETSCII, then the Intel manual searched." +cols = 100 +rows = 30 +ready = true |