jj/docs
Glen Choo 7c2400f3e5 ui: add pager
Teach Ui's writing functions to write to a pager without touching the
process's file descriptors. This is done by introducing UiOutput::Paged,
which spawns a pager that Ui's functions can write to.

The pager program can be chosen via `ui.pager`. (defaults to Defaults to
$PAGER, and 'less' if that is unset (falling back to 'less' also makes
the tests pass).

Currently, commands are paginated if:

- they have "long" output (as defined by jj developers)
- jj is invoked in a terminal

The next commit will allow pagination to be turned off via a CLI option.
More complex pagination toggling (e.g. showing a pager even if the
output doesn't look like a terminal, using a pager for shorter ouput) is
left for a future PR.
2022-11-30 06:14:39 +08:00
..
technical docs: change "current checkout" to "working-copy commit" 2022-09-18 16:19:58 -07:00
branches.md templater: indicate if branch needs to be pushed to a remote 2022-11-09 22:44:55 -08:00
code-of-conduct.md
config.md ui: add pager 2022-11-30 06:14:39 +08:00
config.toml feature: support relative timestamps as a config option 2022-11-27 08:35:17 +10:00
conflicts.md conflicts: change diff line marker to %%%%%%% 2022-09-20 15:26:29 +09:00
contributing.md Polish jj development environment suggestions 2022-11-27 23:43:21 -08:00
git-comparison.md docs: describe git commit --fixup equivalent 2022-11-19 14:22:34 -08:00
git-compatibility.md feature: support git credential helpers 2022-11-19 22:06:27 -08:00
operation-log.md docs: change "current checkout" to "working-copy commit" 2022-09-18 16:19:58 -07:00
related-work.md docs: hyphenate "working-copy" when used as a compound modifier 2022-08-25 18:08:36 -07:00
revsets.md revset: add unary negate (or set complement) operator '~y' 2022-11-29 15:46:15 +09:00
tutorial.md log: move commit ID off to the right 2022-11-14 07:49:52 -08:00
working-copy.md cli: drop support for ui.enable-open-commits config 2022-11-05 06:14:37 -07:00