chiark / gitweb /
Range: add pencil marks to squares by Shift-cursor keys.