tree f1e646145d7b7751a9711a98c56e4ca7432851d6
parent a8a70f0f290355a52ff0157af2187d5892492233
author Benno Schulenberg <bensberg@justemail.net> 1485272562 +0100
committer Benno Schulenberg <bensberg@justemail.net> 1485282747 +0100

replacing: compensate cursor position only for replacements /before/ it

When a replacement happens right at where the cursor sits, the position
of the cursor should not be adjusted, because the real cursor position
is between the current character and the preceding one: the place where
the cursor is shown is in fact right /after/ the insertion point.

This fixes https://savannah.gnu.org/bugs/?50134,
and fixes https://savannah.gnu.org/bugs/?50135.