Key binding syntax in proof-splash.el

[Erik Martin-Dorel]

When I do [C-h m] in the ProofGeneral splash screen, I see the following strange output:

Splash mode:
Mode for splash.  
key             binding
---             -------
[		Prefix Command
q		bury-buffer
[ m		Prefix Command
[ m o		Prefix Command
[ m o u		Prefix Command
[ m o u s	Prefix Command
[ m o u s e	Prefix Command
[ m o u s e -	Prefix Command
[ m o u s e - 3			Prefix Command
[ m o u s e - 3 ]		bury-buffer

I believe this is due (in generic/proof-splash.el) to the line

(define-key proof-splash-mode-map "[mouse-3]" 'bury-buffer)

which should be replaced either by

(define-key proof-splash-mode-map [mouse-3] 'bury-buffer)

or by

(define-key proof-splash-mode-map (kbd "<mouse-3>") 'bury-buffer)

Kind regards, Erik.

[David Aspinall]

Ouch! Thanks for the fix, well spotted.