diff options
| author | Richard M. Stallman | 2003-08-29 16:20:56 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 2003-08-29 16:20:56 +0000 |
| commit | f1579f528ebb4cd63f67894ad64d18aa5b2d5335 (patch) | |
| tree | 69f4652494d97d6b0f348cac917418b7bbd1303b | |
| parent | 0e874d89541297d35150292aea8aab3f83d5fd7d (diff) | |
| download | emacs-f1579f528ebb4cd63f67894ad64d18aa5b2d5335.tar.gz emacs-f1579f528ebb4cd63f67894ad64d18aa5b2d5335.zip | |
(Overlay Properties): Clarify how priorities affect use of the properties.
| -rw-r--r-- | lispref/display.texi | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/lispref/display.texi b/lispref/display.texi index 9262be65894..d3057291dc7 100644 --- a/lispref/display.texi +++ b/lispref/display.texi | |||
| @@ -987,12 +987,14 @@ of them: | |||
| 987 | @table @code | 987 | @table @code |
| 988 | @item priority | 988 | @item priority |
| 989 | @kindex priority @r{(overlay property)} | 989 | @kindex priority @r{(overlay property)} |
| 990 | This property's value (which should be a nonnegative number) determines | 990 | This property's value (which should be a nonnegative integer number) |
| 991 | the priority of the overlay. The priority matters when two or more | 991 | determines the priority of the overlay. The priority matters when two |
| 992 | overlays cover the same character and both specify a face for display; | 992 | or more overlays cover the same character and both specify the same |
| 993 | the one whose @code{priority} value is larger takes priority over the | 993 | property; the one whose @code{priority} value is larger takes priority |
| 994 | other, and its face attributes override the face attributes of the lower | 994 | over the other. For the @code{face} property, the higher priority |
| 995 | priority overlay. | 995 | value does not completely replace the other; instead, its face |
| 996 | attributes override the face attributes of the lower priority | ||
| 997 | @code{face} property. | ||
| 996 | 998 | ||
| 997 | Currently, all overlays take priority over text properties. Please | 999 | Currently, all overlays take priority over text properties. Please |
| 998 | avoid using negative priority values, as we have not yet decided just | 1000 | avoid using negative priority values, as we have not yet decided just |