From 57b4bd1ccb5fdb0a367f10134463897ae22e09df Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 21 Sep 2005 23:58:36 +0000
Subject: Fix toolbar support on Mac OSX Carbon Emacs which has
 window-system="mac"

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

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index ede8867b..7d7e7c8e 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -6,14 +6,6 @@
 ;;
 ;; $Id$
 ;;
-;; NB: FSF GNU Emacs has no toolbar facility. This file defines
-;; proof-toolbar-menu which holds the same commands and is put on the
-;; menubar by proof-toolbar-setup (perhaps surprisingly).
-;; Could consider moving the generic table stuff to proof-menu now.
-;;
-;; Toolbar is just for the scripting buffer, currently.
-;;
-;;
 ;; TODO (minor things):
 ;;
 ;; 1. edit-toolbar cannot edit proof toolbar (even in a proof mode)
@@ -148,7 +140,7 @@ to the default toolbar."
 	     (featurep 'xpm)))		; and XPM support
     ;; Check support in Window system
     (memq (if proof-running-on-XEmacs (console-type) window-system)
-	  '(x mswindows gtk)))
+	  '(x mswindows gtk mac)))
 
       ;; Toolbar support is possible.  
       (progn
-- 
cgit v1.2.3