michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(emacs/lean-util): fix lean-grab-id

Browse source
This commit is contained in:
Soonho Kong 2014-09-30 15:12:47 -07:00
parent f4e118de76
commit 9024cb23fd
1 changed files with 8 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
src/emacs/lean-util.el
View file

@ -110,15 +110,13 @@
(defun lean-grab-id () (defun lean-grab-id ()
(interactive) (interactive)
(save-excursion (when (not (bolp))
(when (and (or (eolp) (save-excursion
(looking-at (rx white)) (let ((cur-pos (point))
(eobp)) id-beg)
(not (bolp))) (backward-char 1)
(backward-char 1)) (setq id-beg (lean-find-id-beg))
(let ((cur-pos (point)) (when id-beg
(id-beg (lean-find-id-beg))) (buffer-substring id-beg cur-pos))))))
(when id-beg
(buffer-substring id-beg (1+ (point)))))))
(provide 'lean-util) (provide 'lean-util)