michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(emacs/lean-changes): visit file before process any changes

Browse source 
This solves many instances of the modified buffer problem.
This commit is contained in:
Soonho Kong 2014-10-03 09:43:41 -07:00
parent c0725d1934
commit e255b02fca
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/emacs/lean-changes.el
View file

@ -29,6 +29,7 @@ It saves the following information to the global variable:
These information will be used by lean-after-changed-function."
(lean-server-get-process)
(lean-server-check-current-file)
(setq lean-global-before-change-beg beg)
(setq lean-global-before-change-end end)
(setq lean-global-before-change-beg-line-number (line-number-at-pos beg))