$mouse.key & 2 only checks if Ctrl is held down, $mouse.key == 3 checks if Ctrl + left mouse button (and nothing else) are held down. I could've used == 2 or even == 3 in the first case, it doesn't really matter though, as in a doubleclick event the leftmost bit in $mouse.key is on (left button down).
