From 77d899eca63c496aa7af178bdd2631286f3f89b1 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 7 Oct 2016 13:14:30 -0700 Subject: [PATCH] chore(emacs/lean-mode): disable minor mode --- src/emacs/lean-mode.el | 9 --------- 1 file changed, 9 deletions(-) diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el index efcfa71284..6cc5a9f356 100644 --- a/src/emacs/lean-mode.el +++ b/src/emacs/lean-mode.el @@ -312,15 +312,6 @@ enabled and disabled respectively.") (fci-mode t)))) (lean-standard-mode)) -;; Define Minor mode -;; - Standard -(define-minor-mode lean-standard-mode - "Minor mode for standard Lean." - :init-value nil - :lighter " [Standard]" - :group 'lean - :require 'lean) - ;; Automode List ;;;###autoload (define-derived-mode lean-mode prog-mode "Lean"