From 9024cb23fd95e93147dee285bec7a673e405f65e Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Tue, 30 Sep 2014 15:12:47 -0700 Subject: [PATCH] fix(emacs/lean-util): fix lean-grab-id --- src/emacs/lean-util.el | 18 ++++++++---------- 1 file changed, 8 insertions(+), 10 deletions(-) diff --git a/src/emacs/lean-util.el b/src/emacs/lean-util.el index 5f84b07b85..2964e00892 100644 --- a/src/emacs/lean-util.el +++ b/src/emacs/lean-util.el @@ -110,15 +110,13 @@ (defun lean-grab-id () (interactive) - (save-excursion - (when (and (or (eolp) - (looking-at (rx white)) - (eobp)) - (not (bolp))) - (backward-char 1)) - (let ((cur-pos (point)) - (id-beg (lean-find-id-beg))) - (when id-beg - (buffer-substring id-beg (1+ (point))))))) + (when (not (bolp)) + (save-excursion + (let ((cur-pos (point)) + id-beg) + (backward-char 1) + (setq id-beg (lean-find-id-beg)) + (when id-beg + (buffer-substring id-beg cur-pos)))))) (provide 'lean-util)