diff options
Diffstat (limited to 'docs/site/media/captions.txt')
| -rw-r--r-- | docs/site/media/captions.txt | 2 |
1 files changed, 1 insertions, 1 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. |