| commit | 3534d8ff25c6a6a6504d9d25c292ca2cb25a3782 | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Tue Jan 24 16:42:42 2017 +0100 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Tue Jan 24 19:32:27 2017 +0100 |
| tree | f1e646145d7b7751a9711a98c56e4ca7432851d6 | |
| parent | a8a70f0f290355a52ff0157af2187d5892492233 [diff] |
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.