k-pi wrote: ↑
Sat Jun 29, 2019 5:43 pm
If it does come back, maybe try a different mouse.
Yeah, that was the next thing I was going to try, but it all started working fine!
Heavy load on the disk (ie benchmarking, including writes) didn't cause the problem, but formatting did. Bizarre!