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
..
custom-backend	ui: add pager	2022-11-30 06:14:39 +08:00
custom-command	ui: add pager	2022-11-30 06:14:39 +08:00