Subject: Re: bug#38007: scroll-lock binding on Windows

From: Eli Zaretskii <[email-masked]>
Date: Fri, 22 Nov 2019 11:16:56 +0200

> From: Juanma Barranquero <[email-masked]>
> Date: Fri, 22 Nov 2019 10:06:11 +0100
> Cc: [email-masked]
> 
> - conditionally binding it to [scroll] in bindings.el according to system-type
> 
> - rebinding it in term/w32-win.el,
> 
> - or remapping [scroll] to [Scroll_Lock] in some special keymap (perhaps function-key-map?)

The former, with a comment about the (evidently unknown) source of the
Scroll_Lock "function key".

Thanks.