From 0234a74ccd612c7e9bfcbed6f26962a7098e34bb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 20 Sep 2000 14:41:34 +0000
Subject: Disable toolbar enablers on win32.

---
 generic/proof-config.el | 8 ++++++--
 1 file 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
-- 
cgit v1.2.3