diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-22 21:53:13 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-22 21:53:13 +0000 |
commit | 68687d859dec8b1e8f8b87e6f69073b05dc552f1 (patch) | |
tree | 5eefa4070d910b9d91406959b6c2a836df3ec511 /generic/proof-splash.el | |
parent | a59f964e45c25ea15f4c42411828aaec892ad967 (diff) |
Fix bug in define-key for mouse-3.
Diffstat (limited to 'generic/proof-splash.el')
-rw-r--r-- | generic/proof-splash.el | 2 |
1 files changed, 1 insertions, 1 deletions
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) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |