diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-10-12 13:15:09 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-12 13:15:09 +0000 |
| commit | 4820a184d9df2e775cad1fedb332750004876261 (patch) | |
| tree | b5a3d56985cbfa61f5836eceab7eb39d5dc96700 | |
| parent | f032cc82573f4b447bf84c885e97d552e64d6bbd (diff) | |
docstring improved
| -rw-r--r-- | generic/proof-config.el | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index e326fdeb..8b0ccc7a 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -93,9 +93,11 @@ Toolbar buttons can be automatically enabled/disabled according to the context. Set this variable to nil if you don't like this feature or if you find it unreliable. -Note: Toolbar enablers are only available with XEmacs 21 and later. - -Note 2: If you change this variable it will only be noticed when you +Notes: + - 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 next start Proof General." :type 'boolean :group 'proof-general) |