diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-20 14:41:34 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-20 14:41:34 +0000 |
| commit | 0234a74ccd612c7e9bfcbed6f26962a7098e34bb (patch) | |
| tree | 9e1dddb21c9e5a63fca5304843e077a4ea4294d4 /generic | |
| parent | 86ea80368c620cec51a48fabe879ae213089185f (diff) | |
Disable toolbar enablers on win32.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 6fd1de3c..6b209999 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -212,8 +212,12 @@ selected frame will be automatically deleted." :group 'proof-user-options) (defcustom proof-toolbar-use-button-enablers - (or (not (boundp 'system-configuration)) - (not (string-match "sun-solaris" system-configuration))) + (not + (or + ;; Disabled by default for win32 and solaris + proof-running-on-win32 + (and (boundp 'system-configuration) + (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 |