From fc44c7242cae08ad7e79e5a08e3ae125fb875232 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Mon, 25 Aug 2014 11:40:11 -0700
Subject: [PATCH] feat(emacs/lean-settings): add eldoc-use and
 eldoc-nay-retry-time

close #51
---
 src/emacs/lean-settings.el | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/emacs/lean-settings.el b/src/emacs/lean-settings.el
index f06ddb46e..77f49886c 100644
--- a/src/emacs/lean-settings.el
+++ b/src/emacs/lean-settings.el
@@ -40,6 +40,14 @@
   :group 'lean
   :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"
   "lean-flychecker checker name"
   :group 'lean