diff options
| author | David Aspinall | 2005-09-21 23:58:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2005-09-21 23:58:36 +0000 |
| commit | 57b4bd1ccb5fdb0a367f10134463897ae22e09df (patch) | |
| tree | f2930baaeee3dc12dabde343674c01e0f674962a | |
| parent | 6d1c3c35c36ea3272c129aeed4441045e5f358e1 (diff) | |
Fix toolbar support on Mac OSX Carbon Emacs which has window-system="mac"
| -rw-r--r-- | generic/proof-toolbar.el | 10 |
1 files changed, 1 insertions, 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 |