(Overlay Properties): Clarify how priorities affect use of the properties.

diff --git a/lispref/display.texi b/lispref/display.texi
index 9262be658943903a680391f0b001cfe397350b59..d3057291dc7222f173f3d4489bcf6418b3ad0a8f 100644 (file)
--- a/lispref/display.texi
+++ b/lispref/display.texi
@@ -987,12 +987,14 @@ of them:
 @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