Fix crashes in `delete-terminal' caused by recursive calls or X displays with live...
[emacs.git] / lispref / markers.texi
blob1ad54c63e914a5a07824769c27b40b5b20a5dcdb
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
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.
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
28 @node Overview of Markers
29 @section Overview of Markers
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.
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.
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}).
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.
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.
71 Here are examples of creating markers, setting markers, and moving point
72 to markers:
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
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
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
96 @group
97 ;; @r{@code{m1} is updated appropriately.}
99      @result{} #<marker at 101 in markers.texi>
100 @end group
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
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
120 @node Predicates on Markers
121 @section Predicates on Markers
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.
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
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
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
143 @node Creating Markers
144 @section Functions that Create Markers
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.
151 The next four functions all return markers with insertion type
152 @code{nil}.  @xref{Marker Insertion Types}.
154 @defun make-marker
155 This function returns a newly created marker that does not point
156 anywhere.
158 @example
159 @group
160 (make-marker)
161      @result{} #<marker in no buffer>
162 @end group
163 @end example
164 @end defun
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
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
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}.
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.
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
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
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.
218 The new marker's insertion type is specified by the argument
219 @var{insertion-type}.  @xref{Marker Insertion Types}.
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.
227 @example
228 @group
229 (copy-marker 0)
230      @result{} #<marker at 1 in markers.texi>
231 @end group
233 @group
234 (copy-marker 20000)
235      @result{} #<marker at 7572 in markers.texi>
236 @end group
237 @end example
239 An error is signaled if @var{marker} is neither a marker nor an
240 integer.
241 @end defun
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.
247 @example
248 @group
249 (setq p (point-marker))
250      @result{} #<marker at 2139 in markers.texi>
251 @end group
253 @group
254 (setq q (copy-marker p))
255      @result{} #<marker at 2139 in markers.texi>
256 @end group
258 @group
259 (eq p q)
260      @result{} nil
261 @end group
263 @group
264 (equal p q)
265      @result{} t
266 @end group
267 @end example
269 @node Information from Markers
270 @section Information from Markers
272   This section describes the functions for accessing the components of a
273 marker object.
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
280 @defun marker-buffer marker
281 This function returns the buffer that @var{marker} points into, or
282 @code{nil} if it points nowhere.
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
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
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
319 @node Marker Insertion Types
320 @section Marker Insertion Types
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.
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
337 @defun marker-insertion-type marker
338 This function reports the current insertion type of @var{marker}.
339 @end defun
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}.
346 @node Moving Markers
347 @section Moving Marker Positions
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.
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.
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.
366 The value returned is @var{marker}.
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
388 @defun move-marker marker position &optional buffer
389 This is another name for @code{set-marker}.
390 @end defun
392 @node The Mark
393 @section The Mark
394 @cindex mark, the
395 @cindex mark ring
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.
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}.
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.''
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).
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}.
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.
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.
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.
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
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.
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
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
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.
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.
492 This function is @emph{only} intended for interactive use.
493 @end deffn
494 @end ignore
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.
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}.
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:
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
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
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}.
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}.
540 A @samp{Mark set} message is displayed unless @var{nomsg} is
541 non-@code{nil}.
542 @end defun
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.
550 The return value is not meaningful.
551 @end defun
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.
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
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
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.
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:
587 @example
588 (let (deactivate-mark)
589   (insert " "))
590 @end example
591 @end defvar
593 @defun deactivate-mark
594 This function deactivates the mark, if Transient Mark mode is enabled.
595 Otherwise it does nothing.
596 @end defun
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
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
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.
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
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
631 @node The Region
632 @section The Region
633 @cindex region, the
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.
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.
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
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
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}.)
664 @ignore
665    arch-tag: b1ba2e7a-a0f3-4c5e-875c-7d8e22d73299
666 @end ignore