From d424cdd33636de9a214072e8693695dbb8005ddd Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Sun, 14 Sep 2014 20:41:45 -0700
Subject: [PATCH] feat(emacs/lean-company): add custom-variable
 lean-company-type-foreground

Close #190
---
 src/emacs/lean-company.el  | 2 +-
 src/emacs/lean-settings.el | 5 +++++
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/emacs/lean-company.el b/src/emacs/lean-company.el
index a6bb870f09..4c01143ac2 100644
--- a/src/emacs/lean-company.el
+++ b/src/emacs/lean-company.el
@@ -239,7 +239,7 @@ rep. Then, add text-properties on the replaced region."
      (after lean-company-fill-propertize activate)
      (when (eq major-mode 'lean-mode)
        (let* ((selected (ad-get-arg 3))
-              (foreground-color (face-foreground 'font-lock-keyword-face))
+              (foreground-color lean-company-type-foreground)
               (background-color (if selected (face-background 'company-tooltip-selection)
                                   (face-background 'company-tooltip)))
               (face-attrs
diff --git a/src/emacs/lean-settings.el b/src/emacs/lean-settings.el
index bbdba558b0..caa575961f 100644
--- a/src/emacs/lean-settings.el
+++ b/src/emacs/lean-settings.el
@@ -34,6 +34,11 @@
   :group 'lean
   :type 'boolean)
 
+(defcustom lean-company-type-foreground (face-foreground 'font-lock-keyword-face)
+  "Color of type parameter in auto-complete candidates"
+  :group 'lean
+  :type 'color)
+
 (defcustom lean-eldoc-use t
   "Use eldoc mode for lean."
   :group 'lean