changeset 52380:7a80a66265e6

(Overlay Properties): Clarify how priorities affect use of the properties.
author Richard M. Stallman <rms@gnu.org>
date Fri, 29 Aug 2003 16:20:56 +0000
parents 541533296a1d
children e41ad488a239
files lispref/display.texi
diffstat 1 files changed, 8 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/lispref/display.texi	Fri Aug 29 16:20:18 2003 +0000
+++ b/lispref/display.texi	Fri Aug 29 16:20:56 2003 +0000
@@ -987,12 +987,14 @@
 @table @code
 @item priority
 @kindex priority @r{(overlay property)}
-This property's value (which should be a nonnegative number) determines
-the priority of the overlay.  The priority matters when two or more
-overlays cover the same character and both specify a face for display;
-the one whose @code{priority} value is larger takes priority over the
-other, and its face attributes override the face attributes of the lower
-priority overlay.
+This property's value (which should be a nonnegative integer number)
+determines the priority of the overlay.  The priority matters when two
+or more overlays cover the same character and both specify the same
+property; the one whose @code{priority} value is larger takes priority
+over the other.  For the @code{face} property, the higher priority
+value does not completely replace the other; instead, its face
+attributes override the face attributes of the lower priority
+@code{face} property.
 
 Currently, all overlays take priority over text properties.  Please
 avoid using negative priority values, as we have not yet decided just