tree 97fea00ac53689e9563535ff96cf22259c631bd3
parent f03f5d5b51ff72732a8513218cb610326d27ec15
author Benno Schulenberg <bensberg@justemail.net> 1480949038 +0100
committer Benno Schulenberg <bensberg@justemail.net> 1480949264 +0100

tweaks: move a cursor-on switch to a more logical place (again)

But do it correctly this time: don't switch it on when replacing.