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