diff options
| author | Gerd Moellmann | 2000-12-06 16:55:58 +0000 |
|---|---|---|
| committer | Gerd Moellmann | 2000-12-06 16:55:58 +0000 |
| commit | 8714a182913706f421631a07da3dfa439c7eb9ec (patch) | |
| tree | 301a24838c426e3a139f0554045f97174344ecb7 /src | |
| parent | 06a128110933c1eb7e1464df9e089dcac8bfed6b (diff) | |
| download | emacs-8714a182913706f421631a07da3dfa439c7eb9ec.tar.gz emacs-8714a182913706f421631a07da3dfa439c7eb9ec.zip | |
(face_at_string_position): Update function comment.
Diffstat (limited to 'src')
| -rw-r--r-- | src/xfaces.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/xfaces.c b/src/xfaces.c index b6dfaed745b..0cfc9a6b334 100644 --- a/src/xfaces.c +++ b/src/xfaces.c | |||
| @@ -6867,10 +6867,10 @@ face_at_buffer_position (w, pos, region_beg, region_end, | |||
| 6867 | current_buffer, otherwise BUFPOS is zero to indicate that STRING is | 6867 | current_buffer, otherwise BUFPOS is zero to indicate that STRING is |
| 6868 | not an overlay string. W must display the current buffer. | 6868 | not an overlay string. W must display the current buffer. |
| 6869 | REGION_BEG and REGION_END give the start and end positions of the | 6869 | REGION_BEG and REGION_END give the start and end positions of the |
| 6870 | region; both are -1 if no region is visible. BASE_FACE_ID is the | 6870 | region; both are -1 if no region is visible. |
| 6871 | id of the basic face to merge with. It is usually equal to | 6871 | |
| 6872 | DEFAULT_FACE_ID but can be MODE_LINE_FACE_ID or HEADER_LINE_FACE_ID | 6872 | BASE_FACE_ID is the id of a face to merge with. For strings coming |
| 6873 | for strings displayed in the mode or top line. | 6873 | from overlays or the `display' property it is the face at BUFPOS. |
| 6874 | 6874 | ||
| 6875 | Set *ENDPTR to the next position where to check for faces in | 6875 | Set *ENDPTR to the next position where to check for faces in |
| 6876 | STRING; -1 if the face is constant from POS to the end of the | 6876 | STRING; -1 if the face is constant from POS to the end of the |