chiark / gitweb /
Fix redrawing of old current line