max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(emacs/lean-server): Emacs 24 compatibility

Browse source
This commit is contained in:
Sebastian Ullrich 2017-03-20 10:57:26 +01:00 • committed by Gabriel Ebner
parent a8ba78e20a
commit 1f07319bc7
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/emacs/lean-server.el
View file

@ -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)