Re: mouse problems - hopefully solved

16 Jul 2022


      On 2022-07-16 9:00 a.m., Patrick Shanahan wrote:
...
Reboot? :-?
Try different desktop?
Get a cat?

James Knott