diff options
| author | David Aspinall | 1999-11-22 18:55:53 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-22 18:55:53 +0000 |
| commit | 5d60f79b6c6b48bc79d5ef121e8a3057cff29ca6 (patch) | |
| tree | e237e5d59a53b106a7d298fac468e246d8a854f6 /generic/proof-script.el | |
| parent | e4ce3196f9e265b43dc85e2b21097890ad7b152a (diff) | |
Renamed proof-auto-delete-windows -> proof-delete-empty-windows
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index ccfde84c..89f4129c 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2239,8 +2239,8 @@ This is intended as a value for proof-activate-scripting-hook" ;; Make the togglers used in options menu below (fset 'proof-dont-switch-windows-toggle (proof-customize-toggle proof-dont-switch-windows)) -(fset 'proof-auto-delete-windows-toggle - (proof-customize-toggle proof-auto-delete-windows)) +(fset 'proof-delete-empty-windows-toggle + (proof-customize-toggle proof-delete-empty-windows)) (fset 'proof-multiple-frames-toggle (proof-customize-toggle proof-multiple-frames-enable)) (fset 'proof-output-fontify-toggle @@ -2254,10 +2254,10 @@ This is intended as a value for proof-activate-scripting-hook" :active t :style toggle :selected proof-dont-switch-windows] - ["Delete empty windows" proof-auto-delete-windows-toggle + ["Delete empty windows" proof-delete-empty-windows-toggle :active t :style toggle - :selected proof-auto-delete-windows] + :selected proof-delete-empty-windows] ["Multiple frames" proof-multiple-frames-toggle :active t :style toggle |