Better mouse button handling in Mines: