diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-05-21 01:18:53 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-05-21 01:18:53 +0000 |
| commit | 84be89142737f86e5b6059e48aac0262d3440a94 (patch) | |
| tree | 733cf3b38d22c6effb3467b74a886084c8c6fb7e /generic | |
| parent | 7ffdd30fe223b0da50cc302991c5176d343ab5e2 (diff) | |
Add option menu item for dectivate scripting auto action
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-menu.el | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 3587261e..48eaa4fe 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -333,6 +333,20 @@ If in three window or multiple frame mode, display two buffers." (customize-set-variable 'proof-follow-mode 'ignore) :style radio :selected (eq proof-follow-mode 'ignore)]) + ;; Add this because it's a handy one to set (usually to retract) + ("Deactivate Action" + ["Retract" + (customize-set-variable 'proof-auto-action-when-deactivating-scripting 'retract) + :style radio + :selected (eq proof-auto-action-when-deactivating-scripting 'retract)] + ["Process" + (customize-set-variable 'proof-auto-action-when-deactivating-scripting 'process) + :style radio + :selected (eq proof-auto-action-when-deactivating-scripting 'process)] + ["Query" + (customize-set-variable 'proof-auto-action-when-deactivating-scripting nil) + :style radio + :selected (null proof-auto-action-when-deactivating-scripting)]) "----" ["Reset Options" (proof-quick-opts-reset) (proof-quick-opts-changed-from-defaults-p)] @@ -358,7 +372,9 @@ If in three window or multiple frame mode, display two buffers." 'proof-shrink-windows-tofit 'proof-multiple-frames-enable ;; Follow mode sub-menu - 'proof-follow-mode)) + 'proof-follow-mode + ;; Deactivate scripting action + proof-auto-action-when-deactivating-scripting)) (defun proof-quick-opts-changed-from-defaults-p () ;; NB: would be nice to add. Custom support? |