From 9ef149355621242505a2fed1fa94da97db50bd62 Mon Sep 17 00:00:00 2001 From: Thomas Kleymann Date: Fri, 1 Nov 1996 16:15:23 +0000 Subject: improved font-lock customisation for LEGO --- proof.el | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'proof.el') diff --git a/proof.el b/proof.el index a4b2bf25..26c1e749 100644 --- a/proof.el +++ b/proof.el @@ -3,7 +3,7 @@ ;; rearranging Thomas Schreiber's code. ;; Maintainer: LEGO Team -;; Time-stamp: <25 Oct 96 tms ~/elisp/proof.el> +;; Time-stamp: <30 Oct 96 tms /home/tms/elisp/proof.el> ;; Thanks to David Aspinall, Robert Boyer, Rod Burstall, ;; James McKinna, Mark Ruys, Martin Steffen, Perdita Stevens @@ -214,7 +214,9 @@ (display-buffer tmp-buffer))) (defun proof-append-terminator (string) - (or (string-match proof-re-end-of-cmd string) + (or (and + (string-match proof-re-end-of-cmd string) + string) (setq string (concat string proof-terminal-string)))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; @@ -492,7 +494,7 @@ current command." (define-key proof-mode-map [(control c) (control e)] 'proof-find-end-of-command) (define-key proof-mode-map [(control c) (control j)] 'proof-send-line) -(define-key proof-mode-map [(control c) r] 'proof-send-region) +(define-key proof-mode-map [(control c) (control r)] 'proof-send-region) (define-key proof-mode-map [(control c) (control c)] 'proof-interrupt-subjob) (define-derived-mode proof-shell-mode comint-mode -- cgit v1.2.3