diff options
| -rw-r--r-- | lispref/display.texi | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lispref/display.texi b/lispref/display.texi index fd73cfc5f6f..c72fc711a45 100644 --- a/lispref/display.texi +++ b/lispref/display.texi | |||
| @@ -841,7 +841,7 @@ the range of the overlay. | |||
| 841 | @kindex display @r{(overlay property)} | 841 | @kindex display @r{(overlay property)} |
| 842 | This property activates various features that change the | 842 | This property activates various features that change the |
| 843 | way text is displayed. For example, it can make text appear taller | 843 | way text is displayed. For example, it can make text appear taller |
| 844 | or shorter, higher or lower, wider or narror, or replaced with an image. | 844 | or shorter, higher or lower, wider or narrower, or replaced with an image. |
| 845 | @xref{Display Property}. | 845 | @xref{Display Property}. |
| 846 | 846 | ||
| 847 | @item help-echo | 847 | @item help-echo |
| @@ -1278,12 +1278,12 @@ one. | |||
| 1278 | @kindex underline @r{(face name)} | 1278 | @kindex underline @r{(face name)} |
| 1279 | This face underlines text. | 1279 | This face underlines text. |
| 1280 | 1280 | ||
| 1281 | @item fixed-patch | 1281 | @item fixed-pitch |
| 1282 | @kindex fixed-patch @r{(face name)} | 1282 | @kindex fixed-pitch @r{(face name)} |
| 1283 | This face forces use of a particular fixed-width font. | 1283 | This face forces use of a particular fixed-width font. |
| 1284 | 1284 | ||
| 1285 | @item variable-patch | 1285 | @item variable-pitch |
| 1286 | @kindex variable-patch @r{(face name)} | 1286 | @kindex variable-pitch @r{(face name)} |
| 1287 | This face forces use of a particular variable-width font. It's | 1287 | This face forces use of a particular variable-width font. It's |
| 1288 | reasonable to customize this to use a different variable-width font, if | 1288 | reasonable to customize this to use a different variable-width font, if |
| 1289 | you like, but you should not make it a fixed-width font. | 1289 | you like, but you should not make it a fixed-width font. |