[workaround] Jerky mouse on Linux

[Ravo]

Those pages are nearly identical and focus solely on mouse acceleration. That and the mouse sensitivity (on the OS side) are readily available to mess with in openbox's mouse & keyboard settings screen.
I played around with this on my default mouse, which is one of the 1000hz mice that did not work. Jumping between the extreme ends of both mouse sensitivity and acceleration did not seem to affect Wings at all. I also have a button on the mouse that switches DPI on the fly at a hardware level. It also did not seem to prevent Wings from stuttering at any DPI setting.

This wasn't as extensive as what I was doing yesterday, but I'm fairly confident that mouse acceleration, mouse sensitivity, and even mouse DPI are not an issue in Wings3D. I currently believe this issue is caused only by the polling rate of the mouse used.