From 99e47d394539da4cb5a7b4c628831ed1e41adcd1 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Thu, 18 Apr 2019 14:13:16 -0400 Subject: Derive proof-mode from prog-mode MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit prog-mode [1] is the base mode for programming that comes with Emacs: “All major modes for programming languages should derive from this mode so that users can put generic customization on prog-mode-hook.” Make proof-mode derive from prog-mode, reflecting its status as a programming mode. [1] https://git.savannah.gnu.org/cgit/emacs.git/tree/lisp/progmodes/prog-mode.el?id=a18336a8dc754fa1c68e16dd8009466cf409271b --- generic/proof-script.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/generic/proof-script.el b/generic/proof-script.el index 59b7074a..4f2c4a71 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2305,7 +2305,7 @@ query saves here." ;; ;;;###autoload -(define-derived-mode proof-mode fundamental-mode +(define-derived-mode proof-mode prog-mode proof-general-name "Proof General major mode class for proof scripts. \\{proof-mode-map}" -- cgit v1.2.3