Your Hub 4 Ubuntu, ChromeOS & RaspberryPi based PC's. We meet @0930 the 2nd Sat monthly at Sump Library Papillion.
Mouse double clicking?
For those of us who have a favorite mouse that we can’t replace because they don’t make it anymore .. I tried, and succeeded in fixing this problem. Interesting video that convinced me to try .. and I’d do it again.