From ab539971a6d6fc0ddbc4c5deeea8402594fc0ced Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Thu, 12 Jan 2017 21:46:08 +0100 Subject: [PATCH] fix(emacs/lean-flycheck): only update next-error-mode for current buffer --- src/emacs/lean-flycheck.el | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/emacs/lean-flycheck.el b/src/emacs/lean-flycheck.el index e536f57fcb..a202b2f851 100644 --- a/src/emacs/lean-flycheck.el +++ b/src/emacs/lean-flycheck.el @@ -133,7 +133,9 @@ (defconst lean-next-error-buffer-name "*Lean Next Error*") (defun lean-next-error-copy () - (when (and (equal major-mode 'lean-mode)) + (when (and (equal major-mode 'lean-mode) + ; check whether current window of current buffer is selected (i.e., in focus) + (eq (current-buffer) (window-buffer))) (let* ((errors (sort (flycheck-overlay-errors-in (line-beginning-position) (line-end-position)) #'flycheck-error-<)))