diff options
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-config.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 8b0ccc7a..187d7efa 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -94,10 +94,10 @@ the context. Set this variable to nil if you don't like this feature or if you find it unreliable. Notes: - - Toolbar enablers are only available with XEmacs 21 and later. - - With this variable nil, buttons do nothing when they would +* Toolbar enablers are only available with XEmacs 21 and later. +* With this variable nil, buttons do nothing when they would otherwise be disabled. - - If you change this variable it will only be noticed when you +* If you change this variable it will only be noticed when you next start Proof General." :type 'boolean :group 'proof-general) |