On Tue, 23 Jun 2020, at 11:30 PM, Greg Reagle wrote:
> Hello.  Did you get this resolved yet?  I don't think I completely 
> understand your question.

No, I guess I supposed to use some other random control character for mouse 
scroll {up,down}.

Reply via email to