]> code.delx.au - gnu-emacs/blob - lispref/markers.texi
(Text): Replace inforef to emacs-xtra by conditional xref's, depending on
[gnu-emacs] / lispref / markers.texi
1 @c -*-texinfo-*-
2 @c This is part of the GNU Emacs Lisp Reference Manual.
3 @c Copyright (C) 1990, 1991, 1992, 1993, 1994, 1995, 1998, 1999, 2002, 2003,
4 @c 2004, 2005, 2006 Free Software Foundation, Inc.
5 @c See the file elisp.texi for copying conditions.
6 @setfilename ../info/markers
7 @node Markers, Text, Positions, Top
8 @chapter Markers
9 @cindex markers
10
11 A @dfn{marker} is a Lisp object used to specify a position in a buffer
12 relative to the surrounding text. A marker changes its offset from the
13 beginning of the buffer automatically whenever text is inserted or
14 deleted, so that it stays with the two characters on either side of it.
15
16 @menu
17 * Overview of Markers:: The components of a marker, and how it relocates.
18 * Predicates on Markers:: Testing whether an object is a marker.
19 * Creating Markers:: Making empty markers or markers at certain places.
20 * Information from Markers:: Finding the marker's buffer or character position.
21 * Marker Insertion Types:: Two ways a marker can relocate when you
22 insert where it points.
23 * Moving Markers:: Moving the marker to a new buffer or position.
24 * The Mark:: How ``the mark'' is implemented with a marker.
25 * The Region:: How to access ``the region''.
26 @end menu
27
28 @node Overview of Markers
29 @section Overview of Markers
30
31 A marker specifies a buffer and a position in that buffer. The
32 marker can be used to represent a position in the functions that
33 require one, just as an integer could be used. In that case, the
34 marker's buffer is normally ignored. Of course, a marker used in this
35 way usually points to a position in the buffer that the function
36 operates on, but that is entirely the programmer's responsibility.
37 @xref{Positions}, for a complete description of positions.
38
39 A marker has three attributes: the marker position, the marker
40 buffer, and the insertion type. The marker position is an integer
41 that is equivalent (at a given time) to the marker as a position in
42 that buffer. But the marker's position value can change often during
43 the life of the marker. Insertion and deletion of text in the buffer
44 relocate the marker. The idea is that a marker positioned between two
45 characters remains between those two characters despite insertion and
46 deletion elsewhere in the buffer. Relocation changes the integer
47 equivalent of the marker.
48
49 @cindex marker relocation
50 Deleting text around a marker's position leaves the marker between the
51 characters immediately before and after the deleted text. Inserting
52 text at the position of a marker normally leaves the marker either in
53 front of or after the new text, depending on the marker's @dfn{insertion
54 type} (@pxref{Marker Insertion Types})---unless the insertion is done
55 with @code{insert-before-markers} (@pxref{Insertion}).
56
57 @cindex marker garbage collection
58 Insertion and deletion in a buffer must check all the markers and
59 relocate them if necessary. This slows processing in a buffer with a
60 large number of markers. For this reason, it is a good idea to make a
61 marker point nowhere if you are sure you don't need it any more.
62 Unreferenced markers are garbage collected eventually, but until then
63 will continue to use time if they do point somewhere.
64
65 @cindex markers as numbers
66 Because it is common to perform arithmetic operations on a marker
67 position, most of the arithmetic operations (including @code{+} and
68 @code{-}) accept markers as arguments. In such cases, the marker
69 stands for its current position.
70
71 Here are examples of creating markers, setting markers, and moving point
72 to markers:
73
74 @example
75 @group
76 ;; @r{Make a new marker that initially does not point anywhere:}
77 (setq m1 (make-marker))
78 @result{} #<marker in no buffer>
79 @end group
80
81 @group
82 ;; @r{Set @code{m1} to point between the 99th and 100th characters}
83 ;; @r{in the current buffer:}
84 (set-marker m1 100)
85 @result{} #<marker at 100 in markers.texi>
86 @end group
87
88 @group
89 ;; @r{Now insert one character at the beginning of the buffer:}
90 (goto-char (point-min))
91 @result{} 1
92 (insert "Q")
93 @result{} nil
94 @end group
95
96 @group
97 ;; @r{@code{m1} is updated appropriately.}
98 m1
99 @result{} #<marker at 101 in markers.texi>
100 @end group
101
102 @group
103 ;; @r{Two markers that point to the same position}
104 ;; @r{are not @code{eq}, but they are @code{equal}.}
105 (setq m2 (copy-marker m1))
106 @result{} #<marker at 101 in markers.texi>
107 (eq m1 m2)
108 @result{} nil
109 (equal m1 m2)
110 @result{} t
111 @end group
112
113 @group
114 ;; @r{When you are finished using a marker, make it point nowhere.}
115 (set-marker m1 nil)
116 @result{} #<marker in no buffer>
117 @end group
118 @end example
119
120 @node Predicates on Markers
121 @section Predicates on Markers
122
123 You can test an object to see whether it is a marker, or whether it is
124 either an integer or a marker. The latter test is useful in connection
125 with the arithmetic functions that work with both markers and integers.
126
127 @defun markerp object
128 This function returns @code{t} if @var{object} is a marker, @code{nil}
129 otherwise. Note that integers are not markers, even though many
130 functions will accept either a marker or an integer.
131 @end defun
132
133 @defun integer-or-marker-p object
134 This function returns @code{t} if @var{object} is an integer or a marker,
135 @code{nil} otherwise.
136 @end defun
137
138 @defun number-or-marker-p object
139 This function returns @code{t} if @var{object} is a number (either
140 integer or floating point) or a marker, @code{nil} otherwise.
141 @end defun
142
143 @node Creating Markers
144 @section Functions that Create Markers
145
146 When you create a new marker, you can make it point nowhere, or point
147 to the present position of point, or to the beginning or end of the
148 accessible portion of the buffer, or to the same place as another given
149 marker.
150
151 The next four functions all return markers with insertion type
152 @code{nil}. @xref{Marker Insertion Types}.
153
154 @defun make-marker
155 This function returns a newly created marker that does not point
156 anywhere.
157
158 @example
159 @group
160 (make-marker)
161 @result{} #<marker in no buffer>
162 @end group
163 @end example
164 @end defun
165
166 @defun point-marker
167 This function returns a new marker that points to the present position
168 of point in the current buffer. @xref{Point}. For an example, see
169 @code{copy-marker}, below.
170 @end defun
171
172 @defun point-min-marker
173 This function returns a new marker that points to the beginning of the
174 accessible portion of the buffer. This will be the beginning of the
175 buffer unless narrowing is in effect. @xref{Narrowing}.
176 @end defun
177
178 @defun point-max-marker
179 @cindex end of buffer marker
180 This function returns a new marker that points to the end of the
181 accessible portion of the buffer. This will be the end of the buffer
182 unless narrowing is in effect. @xref{Narrowing}.
183
184 Here are examples of this function and @code{point-min-marker}, shown in
185 a buffer containing a version of the source file for the text of this
186 chapter.
187
188 @example
189 @group
190 (point-min-marker)
191 @result{} #<marker at 1 in markers.texi>
192 (point-max-marker)
193 @result{} #<marker at 15573 in markers.texi>
194 @end group
195
196 @group
197 (narrow-to-region 100 200)
198 @result{} nil
199 @end group
200 @group
201 (point-min-marker)
202 @result{} #<marker at 100 in markers.texi>
203 @end group
204 @group
205 (point-max-marker)
206 @result{} #<marker at 200 in markers.texi>
207 @end group
208 @end example
209 @end defun
210
211 @defun copy-marker marker-or-integer &optional insertion-type
212 If passed a marker as its argument, @code{copy-marker} returns a
213 new marker that points to the same place and the same buffer as does
214 @var{marker-or-integer}. If passed an integer as its argument,
215 @code{copy-marker} returns a new marker that points to position
216 @var{marker-or-integer} in the current buffer.
217
218 The new marker's insertion type is specified by the argument
219 @var{insertion-type}. @xref{Marker Insertion Types}.
220
221 If passed an integer argument less than 1, @code{copy-marker} returns a
222 new marker that points to the beginning of the current buffer. If
223 passed an integer argument greater than the length of the buffer,
224 @code{copy-marker} returns a new marker that points to the end of the
225 buffer.
226
227 @example
228 @group
229 (copy-marker 0)
230 @result{} #<marker at 1 in markers.texi>
231 @end group
232
233 @group
234 (copy-marker 20000)
235 @result{} #<marker at 7572 in markers.texi>
236 @end group
237 @end example
238
239 An error is signaled if @var{marker} is neither a marker nor an
240 integer.
241 @end defun
242
243 Two distinct markers are considered @code{equal} (even though not
244 @code{eq}) to each other if they have the same position and buffer, or
245 if they both point nowhere.
246
247 @example
248 @group
249 (setq p (point-marker))
250 @result{} #<marker at 2139 in markers.texi>
251 @end group
252
253 @group
254 (setq q (copy-marker p))
255 @result{} #<marker at 2139 in markers.texi>
256 @end group
257
258 @group
259 (eq p q)
260 @result{} nil
261 @end group
262
263 @group
264 (equal p q)
265 @result{} t
266 @end group
267 @end example
268
269 @node Information from Markers
270 @section Information from Markers
271
272 This section describes the functions for accessing the components of a
273 marker object.
274
275 @defun marker-position marker
276 This function returns the position that @var{marker} points to, or
277 @code{nil} if it points nowhere.
278 @end defun
279
280 @defun marker-buffer marker
281 This function returns the buffer that @var{marker} points into, or
282 @code{nil} if it points nowhere.
283
284 @example
285 @group
286 (setq m (make-marker))
287 @result{} #<marker in no buffer>
288 @end group
289 @group
290 (marker-position m)
291 @result{} nil
292 @end group
293 @group
294 (marker-buffer m)
295 @result{} nil
296 @end group
297
298 @group
299 (set-marker m 3770 (current-buffer))
300 @result{} #<marker at 3770 in markers.texi>
301 @end group
302 @group
303 (marker-buffer m)
304 @result{} #<buffer markers.texi>
305 @end group
306 @group
307 (marker-position m)
308 @result{} 3770
309 @end group
310 @end example
311 @end defun
312
313 @defun buffer-has-markers-at position
314 @tindex buffer-has-markers-at
315 This function returns @code{t} if one or more markers
316 point at position @var{position} in the current buffer.
317 @end defun
318
319 @node Marker Insertion Types
320 @section Marker Insertion Types
321
322 @cindex insertion type of a marker
323 When you insert text directly at the place where a marker points,
324 there are two possible ways to relocate that marker: it can point before
325 the inserted text, or point after it. You can specify which one a given
326 marker should do by setting its @dfn{insertion type}. Note that use of
327 @code{insert-before-markers} ignores markers' insertion types, always
328 relocating a marker to point after the inserted text.
329
330 @defun set-marker-insertion-type marker type
331 This function sets the insertion type of marker @var{marker} to
332 @var{type}. If @var{type} is @code{t}, @var{marker} will advance when
333 text is inserted at its position. If @var{type} is @code{nil},
334 @var{marker} does not advance when text is inserted there.
335 @end defun
336
337 @defun marker-insertion-type marker
338 This function reports the current insertion type of @var{marker}.
339 @end defun
340
341 Most functions that create markers, without an argument allowing to
342 specify the insertion type, create them with insertion type
343 @code{nil}. Also, the mark has, by default, insertion type
344 @code{nil}.
345
346 @node Moving Markers
347 @section Moving Marker Positions
348
349 This section describes how to change the position of an existing
350 marker. When you do this, be sure you know whether the marker is used
351 outside of your program, and, if so, what effects will result from
352 moving it---otherwise, confusing things may happen in other parts of
353 Emacs.
354
355 @defun set-marker marker position &optional buffer
356 This function moves @var{marker} to @var{position}
357 in @var{buffer}. If @var{buffer} is not provided, it defaults to
358 the current buffer.
359
360 If @var{position} is less than 1, @code{set-marker} moves @var{marker}
361 to the beginning of the buffer. If @var{position} is greater than the
362 size of the buffer, @code{set-marker} moves marker to the end of the
363 buffer. If @var{position} is @code{nil} or a marker that points
364 nowhere, then @var{marker} is set to point nowhere.
365
366 The value returned is @var{marker}.
367
368 @example
369 @group
370 (setq m (point-marker))
371 @result{} #<marker at 4714 in markers.texi>
372 @end group
373 @group
374 (set-marker m 55)
375 @result{} #<marker at 55 in markers.texi>
376 @end group
377 @group
378 (setq b (get-buffer "foo"))
379 @result{} #<buffer foo>
380 @end group
381 @group
382 (set-marker m 0 b)
383 @result{} #<marker at 1 in foo>
384 @end group
385 @end example
386 @end defun
387
388 @defun move-marker marker position &optional buffer
389 This is another name for @code{set-marker}.
390 @end defun
391
392 @node The Mark
393 @section The Mark
394 @cindex mark, the
395 @cindex mark ring
396
397 One special marker in each buffer is designated @dfn{the mark}. It
398 specifies a position to bound a range of text for commands such as
399 @code{kill-region} and @code{indent-rigidly}. Lisp programs should
400 set the mark only to values that have a potential use to the user, and
401 never for their own internal purposes. For example, the
402 @code{replace-regexp} command sets the mark to the value of point
403 before doing any replacements, because this enables the user to move
404 back there conveniently after the replace is finished.
405
406 Many commands are designed to operate on the text between point and
407 the mark when called interactively. If you are writing such a
408 command, don't examine the mark directly; instead, use
409 @code{interactive} with the @samp{r} specification. This provides the
410 values of point and the mark as arguments to the command in an
411 interactive call, but permits other Lisp programs to specify arguments
412 explicitly. @xref{Interactive Codes}.
413
414 Each buffer has its own value of the mark that is independent of the
415 value of the mark in other buffers. When a buffer is created, the mark
416 exists but does not point anywhere. We consider this state as ``the
417 absence of a mark in that buffer.''
418
419 Once the mark ``exists'' in a buffer, it normally never ceases to
420 exist. However, it may become @dfn{inactive}, if Transient Mark mode is
421 enabled. The variable @code{mark-active}, which is always buffer-local
422 in all buffers, indicates whether the mark is active: non-@code{nil}
423 means yes. A command can request deactivation of the mark upon return
424 to the editor command loop by setting @code{deactivate-mark} to a
425 non-@code{nil} value (but this causes deactivation only if Transient
426 Mark mode is enabled).
427
428 The main motivation for using Transient Mark mode is that this mode
429 also enables highlighting of the region when the mark is active.
430 @xref{Display}.
431
432 In addition to the mark, each buffer has a @dfn{mark ring} which is a
433 list of markers containing previous values of the mark. When editing
434 commands change the mark, they should normally save the old value of the
435 mark on the mark ring. The variable @code{mark-ring-max} specifies the
436 maximum number of entries in the mark ring; once the list becomes this
437 long, adding a new element deletes the last element.
438
439 There is also a separate global mark ring, but that is used only in a
440 few particular user-level commands, and is not relevant to Lisp
441 programming. So we do not describe it here.
442
443 @defun mark &optional force
444 @cindex current buffer mark
445 This function returns the current buffer's mark position as an integer,
446 or @code{nil} if no mark has ever been set in this buffer.
447
448 If Transient Mark mode is enabled, and @code{mark-even-if-inactive} is
449 @code{nil}, @code{mark} signals an error if the mark is inactive.
450 However, if @var{force} is non-@code{nil}, then @code{mark} disregards
451 inactivity of the mark, and returns the mark position anyway (or
452 @code{nil}).
453 @end defun
454
455 @defun mark-marker
456 This function returns the current buffer's mark. This is the very marker
457 that records the mark location inside Emacs, not a copy. Therefore,
458 changing this marker's position will directly affect the position of the mark.
459 Don't do it unless that is the effect you want.
460
461 @example
462 @group
463 (setq m (mark-marker))
464 @result{} #<marker at 3420 in markers.texi>
465 @end group
466 @group
467 (set-marker m 100)
468 @result{} #<marker at 100 in markers.texi>
469 @end group
470 @group
471 (mark-marker)
472 @result{} #<marker at 100 in markers.texi>
473 @end group
474 @end example
475
476 Like any marker, this marker can be set to point at any buffer you like.
477 We don't recommend that you make it point at any buffer other than the
478 one of which it is the mark. If you do, it will yield perfectly
479 consistent, but rather odd, results.
480 @end defun
481
482 @ignore
483 @deffn Command set-mark-command jump
484 If @var{jump} is @code{nil}, this command sets the mark to the value
485 of point and pushes the previous value of the mark on the mark ring. The
486 message @samp{Mark set} is also displayed in the echo area.
487
488 If @var{jump} is not @code{nil}, this command sets point to the value
489 of the mark, and sets the mark to the previous saved mark value, which
490 is popped off the mark ring.
491
492 This function is @emph{only} intended for interactive use.
493 @end deffn
494 @end ignore
495
496 @defun set-mark position
497 This function sets the mark to @var{position}, and activates the mark.
498 The old value of the mark is @emph{not} pushed onto the mark ring.
499
500 @strong{Please note:} Use this function only if you want the user to
501 see that the mark has moved, and you want the previous mark position to
502 be lost. Normally, when a new mark is set, the old one should go on the
503 @code{mark-ring}. For this reason, most applications should use
504 @code{push-mark} and @code{pop-mark}, not @code{set-mark}.
505
506 Novice Emacs Lisp programmers often try to use the mark for the wrong
507 purposes. The mark saves a location for the user's convenience. An
508 editing command should not alter the mark unless altering the mark is
509 part of the user-level functionality of the command. (And, in that
510 case, this effect should be documented.) To remember a location for
511 internal use in the Lisp program, store it in a Lisp variable. For
512 example:
513
514 @example
515 @group
516 (let ((beg (point)))
517 (forward-line 1)
518 (delete-region beg (point))).
519 @end group
520 @end example
521 @end defun
522
523 @c for interactive use only
524 @ignore
525 @deffn Command exchange-point-and-mark
526 This function exchanges the positions of point and the mark.
527 It is intended for interactive use.
528 @end deffn
529 @end ignore
530
531 @defun push-mark &optional position nomsg activate
532 This function sets the current buffer's mark to @var{position}, and
533 pushes a copy of the previous mark onto @code{mark-ring}. If
534 @var{position} is @code{nil}, then the value of point is used.
535 @code{push-mark} returns @code{nil}.
536
537 The function @code{push-mark} normally @emph{does not} activate the
538 mark. To do that, specify @code{t} for the argument @var{activate}.
539
540 A @samp{Mark set} message is displayed unless @var{nomsg} is
541 non-@code{nil}.
542 @end defun
543
544 @defun pop-mark
545 This function pops off the top element of @code{mark-ring} and makes
546 that mark become the buffer's actual mark. This does not move point in
547 the buffer, and it does nothing if @code{mark-ring} is empty. It
548 deactivates the mark.
549
550 The return value is not meaningful.
551 @end defun
552
553 @defopt transient-mark-mode
554 @cindex Transient Mark mode
555 This variable if non-@code{nil} enables Transient Mark mode, in which
556 every buffer-modifying primitive sets @code{deactivate-mark}. The
557 consequence of this is that commands that modify the buffer normally
558 make the mark inactive.
559
560 Lisp programs can set @code{transient-mark-mode} to @code{only} to
561 enable Transient Mark mode for the following command only. During
562 that following command, the value of @code{transient-mark-mode} is
563 @code{identity}. If it is still @code{identity} at the end of the
564 command, it changes to @code{nil}.
565 @end defopt
566
567 @defopt mark-even-if-inactive
568 If this is non-@code{nil}, Lisp programs and the Emacs user can use the
569 mark even when it is inactive. This option affects the behavior of
570 Transient Mark mode. When the option is non-@code{nil}, deactivation of
571 the mark turns off region highlighting, but commands that use the mark
572 behave as if the mark were still active.
573 @end defopt
574
575 @defvar deactivate-mark
576 If an editor command sets this variable non-@code{nil}, then the editor
577 command loop deactivates the mark after the command returns (if
578 Transient Mark mode is enabled). All the primitives that change the
579 buffer set @code{deactivate-mark}, to deactivate the mark when the
580 command is finished.
581
582 To write Lisp code that modifies the buffer without causing
583 deactivation of the mark at the end of the command, bind
584 @code{deactivate-mark} to @code{nil} around the code that does the
585 modification. For example:
586
587 @example
588 (let (deactivate-mark)
589 (insert " "))
590 @end example
591 @end defvar
592
593 @defun deactivate-mark
594 This function deactivates the mark, if Transient Mark mode is enabled.
595 Otherwise it does nothing.
596 @end defun
597
598 @defvar mark-active
599 The mark is active when this variable is non-@code{nil}. This variable
600 is always buffer-local in each buffer.
601 @end defvar
602
603 @defvar activate-mark-hook
604 @defvarx deactivate-mark-hook
605 These normal hooks are run, respectively, when the mark becomes active
606 and when it becomes inactive. The hook @code{activate-mark-hook} is
607 also run at the end of a command if the mark is active and it is
608 possible that the region may have changed.
609 @end defvar
610
611 @defvar mark-ring
612 The value of this buffer-local variable is the list of saved former
613 marks of the current buffer, most recent first.
614
615 @example
616 @group
617 mark-ring
618 @result{} (#<marker at 11050 in markers.texi>
619 #<marker at 10832 in markers.texi>
620 @dots{})
621 @end group
622 @end example
623 @end defvar
624
625 @defopt mark-ring-max
626 The value of this variable is the maximum size of @code{mark-ring}. If
627 more marks than this are pushed onto the @code{mark-ring},
628 @code{push-mark} discards an old mark when it adds a new one.
629 @end defopt
630
631 @node The Region
632 @section The Region
633 @cindex region, the
634
635 The text between point and the mark is known as @dfn{the region}.
636 Various functions operate on text delimited by point and the mark, but
637 only those functions specifically related to the region itself are
638 described here.
639
640 The next two functions signal an error if the mark does not point
641 anywhere. If Transient Mark mode is enabled and
642 @code{mark-even-if-inactive} is @code{nil}, they also signal an error
643 if the mark is inactive.
644
645 @defun region-beginning
646 This function returns the position of the beginning of the region (as
647 an integer). This is the position of either point or the mark,
648 whichever is smaller.
649 @end defun
650
651 @defun region-end
652 This function returns the position of the end of the region (as an
653 integer). This is the position of either point or the mark, whichever is
654 larger.
655 @end defun
656
657 Few programs need to use the @code{region-beginning} and
658 @code{region-end} functions. A command designed to operate on a region
659 should normally use @code{interactive} with the @samp{r} specification
660 to find the beginning and end of the region. This lets other Lisp
661 programs specify the bounds explicitly as arguments. (@xref{Interactive
662 Codes}.)
663
664 @ignore
665 arch-tag: b1ba2e7a-a0f3-4c5e-875c-7d8e22d73299
666 @end ignore