Lines Matching +defs:extent +defs:priority
38 (defvar mouse-highlight-priority)
55 (defvar primary-selection-extent nil
56 "The extent of the primary selection; don't use this.")
58 (defvar secondary-selection-extent nil
59 "The extent of the secondary selection; don't use this.")
62 (defun x-select-make-extent-for-selection (selection previous-extent face)
63 ;; Given a selection, this makes an extent in the buffer which holds that
67 (valid (and (extentp previous-extent)
68 (extent-buffer previous-extent)
69 (buffer-name (extent-buffer previous-extent))))
72 ;; if we're selecting a string, lose the previous extent used
80 (extent-buffer previous-extent)))
83 (setq start (extent-start-position selection)
84 end (extent-end-position selection)
86 (eq (extent-buffer selection)
87 (extent-buffer previous-extent)))
88 buffer (extent-buffer selection)))
91 (extentp previous-extent)
92 (extent-buffer previous-extent)
93 (buffer-name (extent-buffer previous-extent)))
94 (delete-extent previous-extent))
100 (set-extent-endpoints previous-extent start end)
101 (setq previous-extent (make-extent start end buffer))
102 ;; use same priority as mouse-highlighting so that conflicts between
103 ;; the selection extent and a mouse-highlighted extent are resolved
105 (set-extent-priority previous-extent mouse-highlight-priority)
106 (set-extent-face previous-extent face)))))
111 The argument may be a string, a cons of two markers, or an extent.
122 (setq primary-selection-extent
123 (x-select-make-extent-for-selection
124 selection primary-selection-extent 'primary-selection)))
126 (setq secondary-selection-extent
127 (x-select-make-extent-for-selection
128 selection secondary-selection-extent 'secondary-selection))))
157 (if primary-selection-extent
159 (delete-extent primary-selection-extent)
160 (setq primary-selection-extent nil)))
163 (if secondary-selection-extent
165 (delete-extent secondary-selection-extent)
166 (setq secondary-selection-extent nil)))))
197 (or primary-selection-extent
198 (error "the primary selection is not an extent?"))
200 (set-buffer (extent-buffer primary-selection-extent))
201 (kill-region (extent-start-position primary-selection-extent)
202 (extent-end-position primary-selection-extent)))
211 (or primary-selection-extent
212 (error "the primary selection is not an extent?"))
214 (set-buffer (extent-buffer primary-selection-extent))
215 (delete-region (extent-start-position primary-selection-extent)
216 (extent-end-position primary-selection-extent)))
224 (or primary-selection-extent
225 (error "the primary selection is not an extent?"))
227 (set-buffer (extent-buffer primary-selection-extent))
228 (copy-region-as-kill (extent-start-position primary-selection-extent)
229 (extent-end-position primary-selection-extent))))