Subject: Re: bug#6861: 24.0.50; Scroll lock not bound

From: Stefan Kangas <[email-masked]>
Date: Tue, 20 Aug 2019 20:28:15 +0200

Eli Zaretskii <[email-masked]> writes:

> > If there are no objections, I'll install the attached patch in a couple of days.
>
> What about w32-scroll-lock-modifier?

I'm unfortunately not familiar with that at all, since I never use
Windows.  Nor do I currently have access to any Windows boxes for
testing.  Would this patch break something on w32, or would it just
not work there?

Thanks,
Stefan Kangas