Re: windows key as super

[Kevin Rodgers]

Stefan Monnier wrote:
> > (local-set-key '[8388723] 'save-buffer)
>
> You can also put point right after the large number and hit C-x C-e
> twice: the echo area will then show you various alternative ways to
> write this number:
>
>   8388723 (#o40000163, #x800073, ?\s-s)
>
> so you can then write:
>
>   (local-set-key '[?\s-s] 'save-buffer)

Just curious: why quote the vector?

--
Kevin Rodgers
Denver, Colorado, USA