From 1f07319bc74030c367f6db6022ce2c43149f2a49 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Mon, 20 Mar 2017 10:57:26 +0100 Subject: [PATCH] fix(emacs/lean-server): Emacs 24 compatibility --- src/emacs/lean-server.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index d2377b860b..698eb2211d 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -339,7 +339,7 @@ (defun lean-server-compute-roi (sess) (pcase lean-server-check-mode - ('visible-lines + (`visible-lines (-mapcat (lambda (buf) (with-current-buffer buf (when (and (get-buffer-window) (eq lean-server-session sess)) @@ -349,7 +349,7 @@ ,(max 1 (- (line-number-at-pos min-pt) 5)) . ,(+ (line-number-at-pos max-pt) 5))))))) (buffer-list))) - ('visible-files + (`visible-files (--mapcat (with-current-buffer it (when (and (get-buffer-window) (eq lean-server-session sess)) `((,(buffer-file-name)