Opened 15 years ago

Closed 15 years ago

Last modified 14 years ago

#269 closed defect (needmoreinfo)

Aquamacs key bindings don't work

Reported by: John Wickerson Owned by: David Aspinall
Priority: minor Milestone: PG-Emacs-4.0
Component: 2:pg-emacs Keywords: aquamacs key bindings
Cc:

Description

Aquamacs defines various key bindings that are more familiar to Mac users, e.g. cmd-C for copy, cmd-V for paste, etc. These don't work in Proof General. How come?

Change History (2)

comment:1 Changed 15 years ago by David Aspinall

Resolution: needmoreinfo
Status: newclosed

Thanks for the report. I don't know why that would happen. Unfortunately this can't be investigated without some more help from someone who has a Mac and can provide more info.

comment:2 Changed 15 years ago by David Aspinall

One thought: there is a mac relevant tweak aimed at Carbon Emacs, see lib/proof-compat.el for these lines:

;; 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))

it seems unlikely that Aquaemacs is affected by this, though.

Note: See TracTickets for help on using tickets.