moved pg-special-char-regexp to proof-config.el;

added pg-remove-specials-in-string;

1 files changed, 5 insertions, 7 deletions

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index e8bfa911..280de2d6 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -460,14 +460,9 @@ Returns new END value."
 	  (proof-x-symbol-decode-region start end))
     (proof-font-lock-clear-font-lock-vars)))
 
-
-(defconst pg-special-char-regexp "[\200-\377]" 
-  "Regexp matching any \"special\" character (top bit set).")
-
-
 (defun pg-remove-specials (&optional start end)
-  "Remove special characters (with top bit set) in region.
-Default to whole buffer.  Leave point at END."
+  "Remove special characters in region.  Default to whole buffer.
+Leave point at END."
   (save-restriction
     (if (and start end) 
 	(narrow-to-region start end))
@@ -475,6 +470,9 @@ Default to whole buffer.  Leave point at END."
     (proof-replace-regexp pg-special-char-regexp "")
     (goto-char (point-max))))
 
+(defun pg-remove-specials-in-string (string)
+  (proof-replace-regexp-in-string pg-special-char-regexp "" string))
+
   
 
 ;; FIXME todo: add toggle for fontify region which turns it on/off