From 9e3b1a60e0c1a47b16f83eaa428b693b58c94a26 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 12 Oct 1999 13:23:03 +0000
Subject: Mention proof-toolbar-use-enablers

---
 CHANGES | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index 096e431f..66530396 100644
--- a/CHANGES
+++ b/CHANGES
@@ -17,7 +17,12 @@ Generic Changes
 
 * [XEmacs only] Toolbar enablers have been added.   
   Buttons are automatically enabled or disabled as appropriate.   
-  This requires XEmacs 20.4 or better for reliable working.  
+  This requires XEmacs 21 or better for reliable working,
+  so is disabled for earlier versions.
+  If do not like enablers, you can turn them off with
+  the new configuration variable proof-toolbar-use-enablers.
+  With this variable nil, buttons do nothing when they 
+  otherwise be disabled.
 
 * Menus and keybindings have been reorganized.  
   Now keybindings invoke the same functions as the toolbar.
-- 
cgit v1.2.3