diff options
| author | David Aspinall | 2000-05-30 10:46:43 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-30 10:46:43 +0000 |
| commit | 340963b38da050e85825f349f2e5eaf21a874612 (patch) | |
| tree | 450edccf6f54e94dad3173e784eb85ea62e1c4b4 /generic/proof-script.el | |
| parent | 4f8a95e5cfa56888acae5b6847038f5b810d513b (diff) | |
Added prefix arg to proof-minibuffer-cmd to insert current region.
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))) |