From f958e534bdf0e4a409d5535f34145821a87e21f8 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Fri, 5 Sep 2014 16:35:01 -0700 Subject: [PATCH] feat(emacs/lean-settings): pass 'pp.width' to lean via linja Close #28 --- src/emacs/lean-settings.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/emacs/lean-settings.el b/src/emacs/lean-settings.el index 210be3575..78badc556 100644 --- a/src/emacs/lean-settings.el +++ b/src/emacs/lean-settings.el @@ -56,7 +56,7 @@ :group 'lean :type 'string) -(defcustom lean-flycheck-checker-options '("--flycheck") +(defcustom lean-flycheck-checker-options '("--flycheck" "120") "lean-flychecker checker option" :group 'lean)