diff options
| -rw-r--r-- | doc/lispref/ChangeLog | 4 | ||||
| -rw-r--r-- | doc/lispref/text.texi | 16 |
2 files changed, 12 insertions, 8 deletions
diff --git a/doc/lispref/ChangeLog b/doc/lispref/ChangeLog index f647bb00f91..b6b02686caf 100644 --- a/doc/lispref/ChangeLog +++ b/doc/lispref/ChangeLog | |||
| @@ -1,3 +1,7 @@ | |||
| 1 | 2011-06-15 Chong Yidong <cyd@stupidchicken.com> | ||
| 2 | |||
| 3 | * text.texi (Special Properties): Clarify role of font-lock-face. | ||
| 4 | |||
| 1 | 2011-06-15 Lars Magne Ingebrigtsen <larsi@gnus.org> | 5 | 2011-06-15 Lars Magne Ingebrigtsen <larsi@gnus.org> |
| 2 | 6 | ||
| 3 | * processes.texi (Process Information): Renamed `process-alive-p' | 7 | * processes.texi (Process Information): Renamed `process-alive-p' |
diff --git a/doc/lispref/text.texi b/doc/lispref/text.texi index 6a3f53c55e2..7d2c3831a5a 100644 --- a/doc/lispref/text.texi +++ b/doc/lispref/text.texi | |||
| @@ -3003,18 +3003,18 @@ the context. | |||
| 3003 | 3003 | ||
| 3004 | @item font-lock-face | 3004 | @item font-lock-face |
| 3005 | @kindex font-lock-face @r{(text property)} | 3005 | @kindex font-lock-face @r{(text property)} |
| 3006 | The @code{font-lock-face} property is equivalent to the @code{face} | 3006 | This property specifies a value for the @code{face} property that Font |
| 3007 | property when Font Lock mode is enabled. When Font Lock mode is disabled, | 3007 | Lock mode should apply to the underlying text. It is one of the |
| 3008 | fontification methods used by Font Lock mode, and is useful for | ||
| 3009 | special modes that implement their own highlighting. | ||
| 3010 | @xref{Precalculated Fontification}. When Font Lock mode is disabled, | ||
| 3008 | @code{font-lock-face} has no effect. | 3011 | @code{font-lock-face} has no effect. |
| 3009 | 3012 | ||
| 3010 | The @code{font-lock-face} property is useful for special modes that | ||
| 3011 | implement their own highlighting. @xref{Precalculated Fontification}. | ||
| 3012 | |||
| 3013 | @item mouse-face | 3013 | @item mouse-face |
| 3014 | @kindex mouse-face @r{(text property)} | 3014 | @kindex mouse-face @r{(text property)} |
| 3015 | The property @code{mouse-face} is used instead of @code{face} when the | 3015 | This property is used instead of @code{face} when the mouse is on or |
| 3016 | mouse is on or near the character. For this purpose, ``near'' means | 3016 | near the character. For this purpose, ``near'' means that all text |
| 3017 | that all text between the character and where the mouse is have the same | 3017 | between the character and where the mouse is have the same |
| 3018 | @code{mouse-face} property value. | 3018 | @code{mouse-face} property value. |
| 3019 | 3019 | ||
| 3020 | @item fontified | 3020 | @item fontified |