From ef00d283599da0f024053935593d7e92d30613fc Mon Sep 17 00:00:00 2001 From: Mekeor Melire Date: Fri, 6 Dec 2024 10:33:39 +0100 Subject: [PATCH] Remove unused abbrevation setup --- lean4-mode.el | 5 ----- 1 file changed, 5 deletions(-) diff --git a/lean4-mode.el b/lean4-mode.el index a941061..4883eb0 100644 --- a/lean4-mode.el +++ b/lean4-mode.el @@ -148,9 +148,6 @@ file, recompiling, and reloading all imports." ;; (local-set-key (kbd "") #'lean4-right-click-show-menu) ) -(define-abbrev-table 'lean4-abbrev-table - '()) - (defvar lean4-mode-map (make-sparse-keymap) "Keymap used in Lean mode.") @@ -217,7 +214,6 @@ of the parent project." \\{lean4-mode-map}" :syntax-table lean4-syntax-table - :abbrev-table lean4-abbrev-table :group 'lean4 (set (make-local-variable 'comment-start) "--") (set (make-local-variable 'comment-start-skip) "[-/]-[ \t]*") @@ -235,7 +231,6 @@ of the parent project." (lean4-set-keys) (if (fboundp 'electric-indent-local-mode) (electric-indent-local-mode -1)) - ;; (abbrev-mode 1) (pcase-dolist (`(,hook . ,fn) lean4-hooks-alist) (add-hook hook fn nil 'local)) (lean4-mode-setup))