diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-script.el | 4 |
1 files changed, 3 insertions, 1 deletions
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 |