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

feat(emacs/lean-tags): block emacs until ltags finishes

Browse source
This commit is contained in:
Soonho Kong 2014-09-05 06:54:49 -07:00
parent 81b68e9600
commit 37e514e114
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/emacs/lean-tags.el
View file

@ -11,7 +11,9 @@
(interactive)
(let ((ltags-file-name (lean-get-executable "linja"))
tags-file-name)
(call-process ltags-file-name nil 0 nil "TAGS"))
(message "Generating TAGS...")
(call-process ltags-file-name nil nil nil "TAGS")
(message "TAGS generated."))
(unless tags-table-list
(setq tags-file-name (lean-find-file-upward "TAGS"))
(when tags-file-name