fix(emacs/lean-server): fix "error running timer"

This error occurred in files without trailing newlines.
2017-08-19 13:35:58 +02:00 · 2017-08-19 13:35:58 +02:00 · df5fb70c8a
commit df5fb70c8a
parent 049d940167
1 changed files with 2 additions and 2 deletions
--- 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