chiark / gitweb /
Fix trivial UI glitch involving clicking on the border outside the