Disable marker when done with it, for performance reasons.

This commit is contained in:
Magnar Sveen 2012-06-07 07:37:05 +02:00
parent 5e64246e63
commit e0ffd9cce8

View File

@ -140,6 +140,7 @@ cursor with updated info."
(goto-char (overlay-start o))
(setq kill-ring (overlay-get o 'kill-ring))
(set-marker (mark-marker) (overlay-get o 'mark))
(set-marker (overlay-get o 'mark) nil)
(setq mark-ring (overlay-get o 'mark-ring))
(setq mark-active (overlay-get o 'mark-active))
(delete-region-overlay o)