Follow-up Comment #5, bug #57748 (project screen):
Hello,
I've worked around this issue three years by disabling the mouse but revisited
it and written a draft patch today.
(mouse_timeout_v1.patch)
Please review it!
The patch is written for commit 6931ba07 of the master branch.
(file #54995)
_______________________________________________________
Additional Item Attachment:
File name: mouse_timeout_v1.patch Size:3 KB
<https://file.savannah.gnu.org/file/mouse_timeout_v1.patch?file_id=54995>
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?57748>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
