diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 3c1f2243..f7eee781 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2000,7 +2000,10 @@ WARNING: this command risks spoiling synchronization if the test only an approximate test, or if `proof-strict-state-preserving' is off (nil)." (interactive - (list (read-string "Command: " nil 'proof-minibuffer-history))) + (list (read-string "Command: " + (if (and current-prefix-arg (region-exists-p)) + (buffer-substring (region-beginning) (region-end))) + 'proof-minibuffer-history))) (if (and proof-strict-state-preserving proof-state-preserving-p (not (funcall proof-state-preserving-p cmd))) |