From df5fb70c8aea248cec2092309ede3a4a282a4980 Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Sat, 19 Aug 2017 13:35:58 +0200 Subject: [PATCH] fix(emacs/lean-server): fix "error running timer" This error occurred in files without trailing newlines. --- src/emacs/lean-server.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index db4c14aeca..25a3a9b2a7 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -226,11 +226,11 @@ least the following keys: (let ((beg (point))) (forward-line 1) (cons beg (point)))) - (forward-char bc) + (ignore-errors (forward-char bc)) (let ((beg (point))) (goto-char (point-min)) (forward-line el) - (forward-char ec) + (ignore-errors (forward-char ec)) (cons beg (point))))))) (defface lean-server-task-face