diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/site/media/captions.txt | 2 | ||||
| -rw-r--r-- | docs/site/media/clips.toml | 2 | ||||
| -rw-r--r-- | docs/site/media/text-is-the-interface.mp4 | bin | 276620 -> 275812 bytes | |||
| -rw-r--r-- | docs/site/media/text-is-the-interface.png | bin | 84823 -> 84504 bytes | |||
| -rw-r--r-- | docs/site/media/text-is-the-interface.webm | bin | 353359 -> 351601 bytes |
5 files changed, 2 insertions, 2 deletions
diff --git a/docs/site/media/captions.txt b/docs/site/media/captions.txt index 47245043..e4370744 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. +text-is-the-interface: Middle-click make in the README; right-click the error. 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. diff --git a/docs/site/media/clips.toml b/docs/site/media/clips.toml index f630930c..adb97762 100644 --- a/docs/site/media/clips.toml +++ b/docs/site/media/clips.toml @@ -21,7 +21,7 @@ ready = true [[clip]] name = "text-is-the-interface" -caption = "Middle-click runs a word; right-click an error opens its line." +caption = "Middle-click make in the README; right-click the error." ready = true [[clip]] diff --git a/docs/site/media/text-is-the-interface.mp4 b/docs/site/media/text-is-the-interface.mp4 Binary files differindex 35a3086c..b4a12c87 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 95a508c5..a31dcb78 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 8a8baa89..76c2c06b 100644 --- a/docs/site/media/text-is-the-interface.webm +++ b/docs/site/media/text-is-the-interface.webm |
