From 52287bde38b57d16a51b640d9f8202a6b176bc16 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Jan 2008 20:01:47 +0000
Subject: Workaround a small bug in Carbon Emacs Winter 2008: mac-key-mode not
 bound

---
 lib/proof-compat.el | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'lib')

diff --git a/lib/proof-compat.el b/lib/proof-compat.el
index b592ef62..12798cad 100644
--- a/lib/proof-compat.el
+++ b/lib/proof-compat.el
@@ -30,6 +30,14 @@
   "Non-nil if Proof General is running on a windows variant system.")
 
 
+;; Workaround a small bug in Carbon Emacs Winter 2008 (at least)
+;; Menu presses query this variable, but it's not bound unless 
+;; mode engaged.  Not noticeable in normal use, but it is as soon
+;; as debug-on-error is engaged.
+(if (and (boundp 'carbon-emacs-package-version)
+	 (not (boundp 'mac-key-mode)))
+    (setq mac-key-mode nil))
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;;
 ;;; Emacs and XEmacs modifications and adjustments
-- 
cgit v1.2.3