comparison man/lispref/extents.texi @ 1620:1fa8838efe99

[xemacs-hg @ 2003-08-13 11:07:35 by stephent] extent docs <87smo5byy5.fsf@tleepslib.sk.tsukuba.ac.jp>
author stephent
date Wed, 13 Aug 2003 11:07:40 +0000
parents e7ef97881643
children c91543697b09
comparison
equal deleted inserted replaced
1619:b0f57d54cba5 1620:1fa8838efe99
572 When this is set, there may be only one instance of 572 When this is set, there may be only one instance of
573 this extent attached at a time. @xref{Duplicable Extents}. 573 this extent attached at a time. @xref{Duplicable Extents}.
574 574
575 @item invisible 575 @item invisible
576 (Boolean) If @code{t}, text under this extent will not be displayed -- 576 (Boolean) If @code{t}, text under this extent will not be displayed --
577 it will look as if the text is not there at all. 577 it will look as if the text and the begin-glyph is not there at all.
578 The end-glyph will still be displayed.
578 579
579 @item keymap 580 @item keymap
580 (keymap or @code{nil}) This keymap is consulted for mouse clicks on this 581 (keymap or @code{nil}) This keymap is consulted for mouse clicks on this
581 extent or keypresses made while @code{point} is within the extent. 582 extent or keypresses made while @code{point} is within the extent.
582 @xref{Extents and Events}. 583 @xref{Extents and Events}.
892 893
893 @node Extents and Events 894 @node Extents and Events
894 @section Interaction of Extents with Keyboard and Mouse Events 895 @section Interaction of Extents with Keyboard and Mouse Events
895 896
896 If an extent has the @code{mouse-face} property set, it will be 897 If an extent has the @code{mouse-face} property set, it will be
897 highlighted when the mouse passes over it. Highlighting is accomplished 898 highlighted when the mouse passes over it. This includes the
898 by merging the extent's face with the face or faces specified by the 899 begin-glyph, but not the end-glyph. Highlighting is accomplished by
900 merging the extent's face with the face or faces specified by the
899 @code{mouse-face} property. The effect is as if a pseudo-extent with 901 @code{mouse-face} property. The effect is as if a pseudo-extent with
900 the @code{mouse-face} face were inserted after the extent in the display 902 the @code{mouse-face} face were inserted after the extent in the display
901 order (@pxref{Extent Endpoints}, display order). 903 order (@pxref{Extent Endpoints}, display order).
902 904
903 @defvar mouse-highlight-priority 905 @defvar mouse-highlight-priority