I used mouse() in code that I've only personally run on my Windows machine. My friend ran the same code on Ubuntu and we found that mouse() is off by 1. So on Windows mouse(1,2,3) correspond to the left, middle, and right mouse buttons. But on Ubuntu the same buttons are mouse(0,1,2). Is that how mouse() is supposed to work, or is that a bug?