diff options
| author | David Aspinall | 1999-08-23 17:03:46 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-08-23 17:03:46 +0000 |
| commit | 724ea98df1ff15725c5e275ecf65779d950f5ed6 (patch) | |
| tree | 902fe467d52ebc48e1e7c0ed2340869641f6658a /generic/proof-config.el | |
| parent | 0826a2d7341a47768d17947ec0e81037af13c6f6 (diff) | |
Fix for toolbar disable for FSF Emacs.
Diffstat (limited to 'generic/proof-config.el')
| -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 39d46862..d05d0696 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -77,11 +77,11 @@ This option is compatible with proof-prog-name-ask." :type 'boolean :group 'proof-general) -(and (featurep 'toolbar) (defcustom proof-toolbar-inhibit nil - "*Non-nil prevents toolbar being used for script buffers." + "*Non-nil prevents toolbar being used for script buffers. +NB: the toolbar is only available with XEmacs." :type 'boolean - :group 'proof-general)) + :group 'proof-general) (defcustom proof-toolbar-follow-mode 'locked "*Choice of how point moves with toolbar commands. |