diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/site/media/captions.txt | 6 | ||||
| -rw-r--r-- | docs/site/media/clips.toml | 28 | ||||
| -rw-r--r-- | docs/site/media/image-pane.mp4 | bin | 182755 -> 294819 bytes | |||
| -rw-r--r-- | docs/site/media/image-pane.png | bin | 189612 -> 199517 bytes | |||
| -rw-r--r-- | docs/site/media/image-pane.webm | bin | 223710 -> 433434 bytes | |||
| -rw-r--r-- | docs/site/media/text-is-the-interface.mp4 | bin | 208679 -> 276620 bytes | |||
| -rw-r--r-- | docs/site/media/text-is-the-interface.png | bin | 84827 -> 84823 bytes | |||
| -rw-r--r-- | docs/site/media/text-is-the-interface.webm | bin | 279200 -> 353359 bytes |
8 files changed, 17 insertions, 17 deletions
diff --git a/docs/site/media/captions.txt b/docs/site/media/captions.txt index 73ad850c..47245043 100644 --- a/docs/site/media/captions.txt +++ b/docs/site/media/captions.txt @@ -1,7 +1,7 @@ +pdf-navigation: A 2,515-page PDF: page, jump to CPUID, search, step hits. +image-pane: Right-click an image's name, even in a shell, to open it. +pdf-tint-fit: PdfTint tints the page, PdfFit fits it, a page address jumps. text-is-the-interface: Middle-click runs a word; right-click an error opens its line. terminals-are-panes: A terminal is a pane: Ctrl-b, then move over its output. scripting-over-9p: A script drives the session through its virtual filesystem (9P). diff-review: Right-click a diff line to open that line of the file. -pdf-navigation: A 2,515-page PDF: page, jump to CPUID, search, step hits. -pdf-tint-fit: PdfTint tints the page, PdfFit fits it, a page address jumps. -image-pane: Right-click a picture's name to open it; Petscii redraws it. diff --git a/docs/site/media/clips.toml b/docs/site/media/clips.toml index 3ce07fa3..f630930c 100644 --- a/docs/site/media/clips.toml +++ b/docs/site/media/clips.toml @@ -5,36 +5,36 @@ # no video, so the site builds before a recording exists. [[clip]] -name = "text-is-the-interface" -caption = "Middle-click runs a word; right-click an error opens its line." +name = "pdf-navigation" +caption = "A 2,515-page PDF: page, jump to CPUID, search, step hits." ready = true [[clip]] -name = "terminals-are-panes" -caption = "A terminal is a pane: Ctrl-b, then move over its output." +name = "image-pane" +caption = "Right-click an image's name, even in a shell, to open it." ready = true [[clip]] -name = "scripting-over-9p" -caption = "A script drives the session through its virtual filesystem (9P)." +name = "pdf-tint-fit" +caption = "PdfTint tints the page, PdfFit fits it, a page address jumps." ready = true [[clip]] -name = "diff-review" -caption = "Right-click a diff line to open that line of the file." +name = "text-is-the-interface" +caption = "Middle-click runs a word; right-click an error opens its line." ready = true [[clip]] -name = "pdf-navigation" -caption = "A 2,515-page PDF: page, jump to CPUID, search, step hits." +name = "terminals-are-panes" +caption = "A terminal is a pane: Ctrl-b, then move over its output." ready = true [[clip]] -name = "pdf-tint-fit" -caption = "PdfTint tints the page, PdfFit fits it, a page address jumps." +name = "scripting-over-9p" +caption = "A script drives the session through its virtual filesystem (9P)." ready = true [[clip]] -name = "image-pane" -caption = "Right-click a picture's name to open it; Petscii redraws it." +name = "diff-review" +caption = "Right-click a diff line to open that line of the file." ready = true diff --git a/docs/site/media/image-pane.mp4 b/docs/site/media/image-pane.mp4 Binary files differindex de60b945..9fb1a0e9 100644 --- a/docs/site/media/image-pane.mp4 +++ b/docs/site/media/image-pane.mp4 diff --git a/docs/site/media/image-pane.png b/docs/site/media/image-pane.png Binary files differindex 3f77e2ac..94eb7b50 100644 --- a/docs/site/media/image-pane.png +++ b/docs/site/media/image-pane.png diff --git a/docs/site/media/image-pane.webm b/docs/site/media/image-pane.webm Binary files differindex 46de130b..764be10c 100644 --- a/docs/site/media/image-pane.webm +++ b/docs/site/media/image-pane.webm diff --git a/docs/site/media/text-is-the-interface.mp4 b/docs/site/media/text-is-the-interface.mp4 Binary files differindex 253d1f39..35a3086c 100644 --- a/docs/site/media/text-is-the-interface.mp4 +++ b/docs/site/media/text-is-the-interface.mp4 diff --git a/docs/site/media/text-is-the-interface.png b/docs/site/media/text-is-the-interface.png Binary files differindex b0d40b15..95a508c5 100644 --- a/docs/site/media/text-is-the-interface.png +++ b/docs/site/media/text-is-the-interface.png diff --git a/docs/site/media/text-is-the-interface.webm b/docs/site/media/text-is-the-interface.webm Binary files differindex 07cf62e6..8a8baa89 100644 --- a/docs/site/media/text-is-the-interface.webm +++ b/docs/site/media/text-is-the-interface.webm |
