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

fix(emacs/lean-server): correctly react to scrolling

Browse source
This commit is contained in:
Gabriel Ebner 2017-03-23 16:08:41 +01:00
parent 34586a2e82
commit af588add56
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

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