From 209ecfd7920e1d4de80b4efc08a37b1ee0494403 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Thu, 7 Aug 2014 11:57:46 -0700
Subject: [PATCH] feat(emacs/lean-setting.el): add lean-rule-color custom-var

---
 src/emacs/README.md        | 1 +
 src/emacs/lean-mode.el     | 1 +
 src/emacs/lean-settings.el | 6 ++++++
 3 files changed, 8 insertions(+)

diff --git a/src/emacs/README.md b/src/emacs/README.md
index 82511e9d7..a9653a969 100644
--- a/src/emacs/README.md
+++ b/src/emacs/README.md
@@ -47,5 +47,6 @@ Put the following elisp code on your emacs setup:
 ;; lean customization
 (customize-set-variable 'lean-show-rule-column-method 'vline)
 (customize-set-variable 'lean-rule-column 100)
+(customize-set-variable 'lean-rule-color "#ff0000")
 (customize-set-variable 'lean-delete-trailing-whitespace t)
 ```
diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el
index f70b9d07e..494b328ce 100644
--- a/src/emacs/lean-mode.el
+++ b/src/emacs/lean-mode.el
@@ -83,6 +83,7 @@
         (cl-case lean-show-rule-column-method
           ('vline (require 'fill-column-indicator)
                   (setq fci-rule-column lean-rule-column)
+                  (setq fci-rule-color lean-rule-color)
                   (add-hook 'lean-mode-hook 'fci-mode))))
       (if lean-delete-trailing-whitespace
           (progn (require 'whitespace-cleanup-mode)
diff --git a/src/emacs/lean-settings.el b/src/emacs/lean-settings.el
index 773c5bad2..975541e78 100644
--- a/src/emacs/lean-settings.el
+++ b/src/emacs/lean-settings.el
@@ -44,6 +44,12 @@ written."
                  (const :tag "Unlimited" nil))
   :type 'int)
 
+(defcustom lean-rule-color "#cccccc"
+  "Color used to draw the fill-column rule"
+  :group 'fill-column-indicator
+  :tag "Fill-column rule color"
+  :type 'color)
+
 (defcustom lean-show-rule-column-method nil
   "If enabled, it highlights column"
   :group 'lean