diff options
Diffstat (limited to 'docs/typ/guide.typ')
| -rw-r--r-- | docs/typ/guide.typ | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/typ/guide.typ b/docs/typ/guide.typ index 55f11a80..6eeba822 100644 --- a/docs/typ/guide.typ +++ b/docs/typ/guide.typ @@ -184,6 +184,10 @@ A terminal is a pane like any other. - #word("Save") asks for a path on the pane's notice band and writes the terminal's scrollback there as text; `Save path` writes it at once. - #word("Filter") maps the program's colours through the theme. +- A paging command in a terminal (`git log`, `man`) opens its text in a + `+Pager` pane: a terminal's `PAGER` and `GIT_PAGER` are `pardes -` unless + your environment sets them. `Pager off` keeps your own pager, for + terminals started after it. - In raw mode Ctrl-V types what you yanked into the program (with nothing yanked, the program gets the key), and Ctrl-Shift-V the desktop clipboard. |