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 /AUTHORS | |
parent | d67a88196607b57ce1209464b03b79d2a74bf5cd (diff) |
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 'AUTHORS')
0 files changed, 0 insertions, 0 deletions