# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1062174056 0
# Node ID 7a80a66265e6e7d8b23d91755cea6584bf8561f9
# Parent  541533296a1d64ab91708c69f623b81f6ec19ae0
(Overlay Properties): Clarify how priorities affect use of the properties.

diff -r 541533296a1d -r 7a80a66265e6 lispref/display.texi
--- 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