Rename: proof-show-debug-messages -> proof-general-debug. Optimise pg-remove-specials.

1 files changed, 4 insertions, 4 deletions

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)