From af588add56bcda4131cbd1853471b32376f84567 Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Thu, 23 Mar 2017 16:08:41 +0100 Subject: [PATCH] fix(emacs/lean-server): correctly react to scrolling --- src/emacs/lean-server.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index de90cace29..38f5c793d6 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -342,7 +342,7 @@ (when (eq lean-server-session sess) (list (cons (buffer-file-name) (--map (cons (line-number-at-pos (window-start it)) - (line-number-at-pos (window-end it))) + (line-number-at-pos (window-end it t))) (get-buffer-window-list)))))) (buffer-list)))