chiark / gitweb /
Fix a display glitch in Keen's pencil-mode cursor.