diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-28 20:01:47 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-28 20:01:47 +0000 |
| commit | 52287bde38b57d16a51b640d9f8202a6b176bc16 (patch) | |
| tree | cce93898c52b91c393ea6e11c285cbc13df28875 /lib/proof-compat.el | |
| parent | 4cb1e96a12dccdd6af015d209b5bcbc2e88edb13 (diff) | |
Workaround a small bug in Carbon Emacs Winter 2008: mac-key-mode not bound
Diffstat (limited to 'lib/proof-compat.el')
| -rw-r--r-- | lib/proof-compat.el | 8 |
1 files changed, 8 insertions, 0 deletions
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 |