diff options
| author | Pavel Janík | 2001-11-14 13:34:06 +0000 |
|---|---|---|
| committer | Pavel Janík | 2001-11-14 13:34:06 +0000 |
| commit | a907dc69fb71e3559601cbe87832b9a1c9f5250e (patch) | |
| tree | 92bcf4185254324e0299abad542bd05bc69f6f47 | |
| parent | 700deab447f4a2df2757867df4ee613502ebbc95 (diff) | |
| download | emacs-a907dc69fb71e3559601cbe87832b9a1c9f5250e.tar.gz emacs-a907dc69fb71e3559601cbe87832b9a1c9f5250e.zip | |
(Fontsets): Remove the description of variable `highlight-wrong-size-font'.
| -rw-r--r-- | man/mule.texi | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/man/mule.texi b/man/mule.texi index 4bc21f1752c..88f52d6e211 100644 --- a/man/mule.texi +++ b/man/mule.texi | |||
| @@ -1103,14 +1103,6 @@ specifies a font that does not exist on your system, then it cannot | |||
| 1103 | display that character properly. It will display that character as an | 1103 | display that character properly. It will display that character as an |
| 1104 | empty box instead. | 1104 | empty box instead. |
| 1105 | 1105 | ||
| 1106 | @vindex highlight-wrong-size-font | ||
| 1107 | The fontset height and width are determined by the ASCII characters | ||
| 1108 | (that is, by the font used for ASCII characters in that fontset). If | ||
| 1109 | another font in the fontset has a different height, or a different | ||
| 1110 | width, then characters assigned to that font are clipped to the | ||
| 1111 | fontset's size. If @code{highlight-wrong-size-font} is non-@code{nil}, | ||
| 1112 | a box is displayed around these wrong-size characters as well. | ||
| 1113 | |||
| 1114 | @node Defining Fontsets | 1106 | @node Defining Fontsets |
| 1115 | @section Defining fontsets | 1107 | @section Defining fontsets |
| 1116 | 1108 | ||