From 5d60f79b6c6b48bc79d5ef121e8a3057cff29ca6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 22 Nov 1999 18:55:53 +0000
Subject: Renamed proof-auto-delete-windows -> proof-delete-empty-windows

---
 generic/proof-script.el | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'generic/proof-script.el')

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
-- 
cgit v1.2.3