From bb325496a85032032b751977f294c26e9813b8e9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 14 Dec 2007 10:41:13 +0000
Subject: Rename: proof-show-debug-messages -> proof-general-debug.  Optimise
 pg-remove-specials.

---
 generic/proof-utils.el | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index bbf0a921..6d82ff51 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -477,8 +477,8 @@ Leave point at END."
     (if (and start end) 
 	(narrow-to-region start end))
     (goto-char (or start (point-min)))
-    (proof-replace-regexp-nocasefold pg-special-char-regexp "")
-    (goto-char (point-max))))
+    (while (re-search-forward pg-special-char-regexp end t)
+      (replace-match ""))))
 
 (defun pg-remove-specials-in-string (string)
   (proof-replace-regexp-in-string pg-special-char-regexp "" string))
@@ -624,8 +624,8 @@ The warning is coloured with proof-warning-face."
 ;; could be a macro for efficiency in compiled code
 (defun proof-debug (msg &rest args)
   "Issue the debugging message (format MSG ARGS) in the response buffer, display it.
-If proof-show-debug-messages is nil, do nothing."
-  (if proof-show-debug-messages
+If proof-general-debug is nil, do nothing."
+  (if proof-general-debug
       (let ((formatted (apply 'format msg args)))
 	(if (fboundp 'display-warning) ;; use builtin warning system in XEmacs
 	    (display-warning 'proof-general formatted 'info)
-- 
cgit v1.2.3