tree 58ac47f6f8c37ee18f4e07838e44e8de9738a2b8
parent 01bbf7e82f895cc9f7ca4e61d861048d25a1c4c1
author Benno Schulenberg <bensberg@justemail.net> 1476991097 +0200
committer Benno Schulenberg <bensberg@justemail.net> 1477236379 +0200

tweaks: don't bother redrawing some lines when whole screen will be redrawn