diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-06-06 23:17:02 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-06-06 23:28:49 +0200 |
| commit | c39693d76099c159df856ffb5b2c43765fd6f2dd (patch) | |
| tree | c82673237893daceb1241e64041b35c47861bb72 /etc | |
| parent | d67a88196607b57ce1209464b03b79d2a74bf5cd (diff) | |
| download | guix-c39693d76099c159df856ffb5b2c43765fd6f2dd.tar guix-c39693d76099c159df856ffb5b2c43765fd6f2dd.tar.gz | |
ui: 'display-search-results' automatically invokes the pager.
* guix/ui.scm (call-with-paginated-output-port): New procedure.
(with-paginated-output-port): New macro.
(display-search-results): Use it instead of displaying a hint.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions