From 424719c7a6972df0a3729e93fdb712efff65da37 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 30 May 2000 13:30:03 +0000
Subject: Arg for proof-minibuffer-cmd: compact whitespace in region.

---
 generic/proof-script.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 7fc1bac0..1242df23 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2010,7 +2010,9 @@ is off (nil)."
   (interactive
    (list (read-string "Command: " 
 		      (if (and current-prefix-arg (region-exists-p))
-			  (buffer-substring (region-beginning) (region-end)))
+			  (replace-in-string 
+			   (buffer-substring (region-beginning) (region-end))
+			   "[ \t\n]+" " "))
 		      'proof-minibuffer-history)))
   (if (and proof-strict-state-preserving
 	   proof-state-preserving-p
-- 
cgit v1.2.3