diff options
| author | Glenn Morris | 2018-02-13 14:13:53 -0800 |
|---|---|---|
| committer | Glenn Morris | 2018-02-13 14:13:53 -0800 |
| commit | 6c7186de3bbb2b7652cdc01a68bee035761197e5 (patch) | |
| tree | d7d215df0d57f4f4f05cf6c256b5c68e8da9ec9f /etc/PROBLEMS | |
| parent | 98f4e336e879e54251694fa0d47b69d8d325176d (diff) | |
| download | emacs-6c7186de3bbb2b7652cdc01a68bee035761197e5.tar.gz emacs-6c7186de3bbb2b7652cdc01a68bee035761197e5.zip | |
Doc tweak for x-use-underline-position-properties
* src/xterm.c (syms_of_xterm) <x-use-underline-position-properties>:
Remove ancient information from doc.
* etc/PROBLEMS: Related edit.
Diffstat (limited to 'etc/PROBLEMS')
| -rw-r--r-- | etc/PROBLEMS | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/etc/PROBLEMS b/etc/PROBLEMS index dedbf80b353..07971766192 100644 --- a/etc/PROBLEMS +++ b/etc/PROBLEMS | |||
| @@ -783,10 +783,8 @@ frame's parameter list, like this: | |||
| 783 | ** Underlines appear at the wrong position. | 783 | ** Underlines appear at the wrong position. |
| 784 | 784 | ||
| 785 | This is caused by fonts having a wrong UNDERLINE_POSITION property. | 785 | This is caused by fonts having a wrong UNDERLINE_POSITION property. |
| 786 | Examples are the 7x13 font on XFree86 prior to version 4.1, or the jmk | 786 | To avoid this problem (seen in some very old X releases and font packages), |
| 787 | neep font from the Debian xfonts-jmk package prior to version 3.0.17. | 787 | set x-use-underline-position-properties to nil. |
| 788 | To circumvent this problem, set x-use-underline-position-properties | ||
| 789 | to nil in your '.emacs'. | ||
| 790 | 788 | ||
| 791 | To see what is the value of UNDERLINE_POSITION defined by the font, | 789 | To see what is the value of UNDERLINE_POSITION defined by the font, |
| 792 | type 'xlsfonts -lll FONT' and look at the font's UNDERLINE_POSITION property. | 790 | type 'xlsfonts -lll FONT' and look at the font's UNDERLINE_POSITION property. |