chiark / gitweb /
Better mouse button handling in Mines: