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