diff options
| author | David Aspinall | 2000-05-25 14:41:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-25 14:41:41 +0000 |
| commit | 781f10c58bf9cff32f84a0de36711a45fde919c0 (patch) | |
| tree | ee9506743e0228558a9f1190c56b0cdcda28048c | |
| parent | c5ceb46ec57e377afbab9b9d8cf1e04585070622 (diff) | |
Turn off button enablers when running on Solaris
| -rw-r--r-- | generic/proof-config.el | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index c1aeb279..10b539a7 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -223,7 +223,8 @@ selected frame will be automatically deleted." :group 'proof-user-options) (defcustom proof-toolbar-use-button-enablers - t + (or (not (boundp 'system-configuration)) + (not (string-match "sun-solaris" system-configuration))) "*If non-nil, toolbars buttons may be enabled/disabled automatically. Toolbar buttons can be automatically enabled/disabled according to the context. Set this variable to nil if you don't like this feature @@ -234,7 +235,9 @@ Notes: * 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." +next start Proof General. +* The default value for XEmacs built for solaris is nil, because +of unreliabilities with enablers there." :type 'boolean :group 'proof-user-options) |