From e255b02fca27dcfbfb971528bb9c28f308bc07f8 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Fri, 3 Oct 2014 09:43:41 -0700 Subject: [PATCH] fix(emacs/lean-changes): visit file before process any changes This solves many instances of the modified buffer problem. --- src/emacs/lean-changes.el | 1 + 1 file changed, 1 insertion(+) diff --git a/src/emacs/lean-changes.el b/src/emacs/lean-changes.el index 5d07739ed..6894f7218 100644 --- a/src/emacs/lean-changes.el +++ b/src/emacs/lean-changes.el @@ -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))