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 /.dir-locals.el | |
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 '.dir-locals.el')
-rw-r--r-- | .dir-locals.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.dir-locals.el b/.dir-locals.el index e34ddc5a85..dc8bc0e437 100644 --- a/.dir-locals.el +++ b/.dir-locals.el @@ -99,6 +99,8 @@ (eval . (put 'with-environment-variables 'scheme-indent-function 1)) (eval . (put 'with-fresh-gnupg-setup 'scheme-indent-function 1)) + (eval . (put 'with-paginated-output-port 'scheme-indent-function 1)) + ;; This notably allows '(' in Paredit to not insert a space when the ;; preceding symbol is one of these. (eval . (modify-syntax-entry ?~ "'")) |