From 5d3ed9342dc5c4851e12d8f39b989e5578586739 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Sat, 17 Sep 2011 15:03:27 +0000
Subject: brute-force method to enable tool-bar-mode, which is especially
 important on GNU Emacs for Mac OS X (change was already present in
 Isabelle2011);

---
 isar/interface-setup.el | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'isar')

diff --git a/isar/interface-setup.el b/isar/interface-setup.el
index b2619800..4cf12aac 100644
--- a/isar/interface-setup.el
+++ b/isar/interface-setup.el
@@ -10,6 +10,12 @@
 ;; interface-setup.el,v 7.0 2002/08/29 09:14:03 da Exp
 ;;
 
+;;
+;; Tool bar
+;;
+
+(if (and window-system (fboundp 'tool-bar-mode)) (tool-bar-mode t))
+
 ;;
 ;; Unicode
 ;;
-- 
cgit v1.2.3