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

feat(emacs/lean-settings): add lean-flycheck-pp-width and lean-flycheck-max-messages-to-display

Browse source
This commit is contained in:
Soonho Kong 2014-09-08 18:42:49 -07:00
parent 3682ca32d2
commit a9be084b1c
1 changed files with 24 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -30,11 +30,6 @@
:group 'lean
:type 'string)
(defcustom lean-flycheck-use t
"Use flycheck for lean."
:group 'lean
:type 'boolean)
(defcustom lean-company-use t
"Use company mode for lean."
:group 'lean
@ -48,22 +43,40 @@
(defcustom lean-eldoc-nay-retry-time 0.3
"When eldoc-function had nay, try again after this amount of time.")
(defcustom lean-show-only-type-in-parens t
"Show only types of expression in parens if non-nil. Otherwise,
show both of expressions and types.")
(defcustom lean-server-retry-time 0.1
"Retry interval for event-handler")
(defcustom lean-flycheck-use t
"Use flycheck for lean."
:group 'lean
:type 'boolean)
(defcustom lean-flycheck-checker-name "linja"
"lean-flychecker checker name"
:group 'lean
:type 'string)
(defcustom lean-flycheck-checker-options '("--flycheck" "120")
(defcustom lean-flycheck-max-messages-to-display 100
"Maximum number of flycheck messages to displaylean-flychecker checker name
(Restart required to be effective)"
:group 'lean
:type 'int)
(defcustom lean-flycheck-pp-width 120
"Width of flycheck error messages (Restart required to be effective)"
:group 'lean
:type 'int)
(defcustom lean-flycheck-checker-options
`("--flycheck" ,(format "%d" lean-flycheck-pp-width)
"--flycheck-max-messages" ,(format "%d" lean-flycheck-max-messages-to-display))
"lean-flychecker checker option"
:group 'lean)
(defcustom lean-show-only-type-in-parens t
"Show only types of expression in parens if non-nil. Otherwise,
show both of expressions and types.")
(defcustom lean-delete-trailing-whitespace nil
"Set this variable to true to automatically delete trailing
whitespace when a buffer is loaded from a file or when it is
@ -75,8 +88,7 @@ written."
"Specify rule-column."
:group 'lean
:type '(choice (integer :tag "Columns")
(const :tag "Unlimited" nil))
:type 'int)
(const :tag "Unlimited" nil)))
(defcustom lean-rule-color "#cccccc"
"Color used to draw the fill-column rule"