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

feat(emacs/lean-mode): run eldoc-documentation-function at openning

Browse source
This commit is contained in:
Soonho Kong 2014-08-26 16:02:15 -07:00
parent c77e5c6b34
commit 682b13a906
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/emacs/lean-mode.el
View file

@ -168,7 +168,8 @@ enabled and disabled respectively.")
(when lean-eldoc-use
(set (make-local-variable 'eldoc-documentation-function)
'lean-eldoc-documentation-function)
(eldoc-mode t))
(eldoc-mode t)
(lean-eldoc-documentation-function))
;; company-mode
(when lean-company-use
(require 'company)