(set-extent-property): Don't allow

multiple extents with a mouse-face property to run together.
This commit is contained in:
Richard M. Stallman 1997-08-12 17:22:41 +00:00
parent 4fdf389ae2
commit c27d895b27

View file

@ -142,6 +142,12 @@ bottom of the buffer stack."
(make-overlay beg end buffer))
(defun set-extent-property (extent prop value)
;; Make sure that separate adjacent extents
;; with the same mouse-face value
;; do not run together as one extent.
(and (eq prop 'mouse-face)
(symbolp value)
(setq value (list value)))
(if (eq prop 'duplicable)
(cond ((and value (not (overlay-get extent prop)))
;; If becoming duplicable, copy all overlayprops to text props.