| commit | ccffc548e1492dbd5d665a0858033172b73b80a4 | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Tue Jun 07 13:04:51 2016 +0200 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Tue Jun 07 19:52:23 2016 +0200 |
| tree | e0fab09c80f282c7ca51413f5d4bc7d2487f1e94 | |
| parent | 83b89a49ef60e20a26a4d96a7606758de9192ed1 [diff] |
text: after undoing or redoing something, unset the mark This fixes https://savannah.gnu.org/bugs/?48108, and fixes https://savannah.gnu.org/bugs/?48157.