From 1785c9bc1a17db5b8315337448ce9faa4acb6b2f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 23 Mar 2000 11:38:27 +0000
Subject: Let Windows use the toolbar too.

---
 generic/proof-toolbar.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 84198b05..984bfbd2 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -169,7 +169,8 @@ to the default toolbar."
       (if (and	
 	   proof-toolbar-enable
 	   ;; NB for FSFmacs use window-system, not console-type
-	   (eq (console-type) 'x))
+	   (or (eq (console-type) 'x)
+	       (eq (console-type) 'mswindows)))
 	  (let
 	      ((icontype   (if (featurep 'xpm)
 			       (if (< (device-pixel-depth) 16)
-- 
cgit v1.2.3