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

feat(emacs/lean-settings): add eldoc-use and eldoc-nay-retry-time

Browse source 
close #51
This commit is contained in:
Soonho Kong 2014-08-25 11:40:11 -07:00
parent 10fb60e4dd
commit fc44c7242c
1 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/emacs/lean-settings.el
View file

@ -40,6 +40,14 @@
:group 'lean :group 'lean
:type 'boolean) :type 'boolean)
(defcustom lean-eldoc-use t
"Use eldoc mode for lean."
:group 'lean
:type 'boolean)
(defcustom lean-eldoc-nay-retry-time 0.1
"When eldoc-function had nay, try again after this amount of time.")
(defcustom lean-flycheck-checker-name "lmake" (defcustom lean-flycheck-checker-name "lmake"
"lean-flychecker checker name" "lean-flychecker checker name"
:group 'lean :group 'lean