From 68687d859dec8b1e8f8b87e6f69073b05dc552f1 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 22 Aug 2010 21:53:13 +0000 Subject: Fix bug in define-key for mouse-3. --- generic/proof-splash.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'generic/proof-splash.el') diff --git a/generic/proof-splash.el b/generic/proof-splash.el index 1ef296ac..e008e976 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -107,7 +107,7 @@ If it is nil, a new line is inserted." (setq buffer-read-only t)) (define-key proof-splash-mode-map "q" 'bury-buffer) -(define-key proof-splash-mode-map "[mouse-3]" 'bury-buffer) +(define-key proof-splash-mode-map [mouse-3] 'bury-buffer) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -- cgit v1.2.3