From 10cfae138cda986ab80c6004d2f4ff574da602bd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Jun 2000 12:54:17 +0000
Subject: Support toolbar in gtk-xemacs

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

(limited to 'generic')

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