diff options
| author | Jim Blandy | 1992-02-11 00:46:32 +0000 |
|---|---|---|
| committer | Jim Blandy | 1992-02-11 00:46:32 +0000 |
| commit | 62ae71c2e8a3e53b1b06aed0e7e8a7ffbef88979 (patch) | |
| tree | 05451fa4cdd809300a113e79479a3112c40acbe8 | |
| parent | a9764248b799e25c9d3d7143b28315182debe4f5 (diff) | |
| download | emacs-62ae71c2e8a3e53b1b06aed0e7e8a7ffbef88979.tar.gz emacs-62ae71c2e8a3e53b1b06aed0e7e8a7ffbef88979.zip | |
*** empty log message ***
| -rw-r--r-- | src/undo.c | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/undo.c b/src/undo.c index 852771764f1..06abcbadd3e 100644 --- a/src/undo.c +++ b/src/undo.c | |||
| @@ -307,7 +307,15 @@ Return what remains of the list.") | |||
| 307 | if (pos < BEGV || pos > ZV) | 307 | if (pos < BEGV || pos > ZV) |
| 308 | error ("Changes to be undone are outside visible portion of buffer"); | 308 | error ("Changes to be undone are outside visible portion of buffer"); |
| 309 | SET_PT (pos); | 309 | SET_PT (pos); |
| 310 | Finsert (1, &membuf); | 310 | |
| 311 | /* Insert before markers so that if the mark is | ||
| 312 | currently on the boundary of this deletion, it | ||
| 313 | ends up on the other side of the now-undeleted | ||
| 314 | text from point. Since undo doesn't even keep | ||
| 315 | track of the mark, this isn't really necessary, | ||
| 316 | but it may lead to better behavior in certain | ||
| 317 | situations. */ | ||
| 318 | Finsert_before_markers (1, &membuf); | ||
| 311 | SET_PT (pos); | 319 | SET_PT (pos); |
| 312 | } | 320 | } |
| 313 | } | 321 | } |