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}.
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}.