From b3ee5d1189e7d4e680faaf707dd9245b40f9eb55 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 22 Sep 1998 13:27:47 +0000 Subject: Fixed docstrings for derived modes --- lego/lego.el | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'lego') diff --git a/lego/lego.el b/lego/lego.el index aed76bdf..82ec26ae 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -169,17 +169,19 @@ ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (define-derived-mode lego-shell-mode proof-shell-mode - "lego-shell" "Inferior shell mode for lego shell" + "lego-shell" + ;; With nil argument for docstring, Emacs makes up a nice one. + nil (lego-shell-mode-config)) (define-derived-mode lego-mode proof-mode - "lego" "Lego Mode" + "lego" nil (lego-mode-config) (easy-menu-change (list proof-mode-name) (car proof-help-menu) (append (cdr proof-help-menu) lego-help-menu-list))) (define-derived-mode lego-pbp-mode pbp-mode - "pbp" "Proof-by-pointing support for LEGO" + "pbp" nil (lego-pbp-mode-config)) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -- cgit v1.2.3