From 682b13a9064586cf00baa64bfdca589f142371c6 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Tue, 26 Aug 2014 16:02:15 -0700 Subject: [PATCH] feat(emacs/lean-mode): run eldoc-documentation-function at openning --- src/emacs/lean-mode.el | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el index e7c0ba9c0..5c24578f0 100644 --- a/src/emacs/lean-mode.el +++ b/src/emacs/lean-mode.el @@ -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)