diff options
| author | Glenn Morris <rgm@gnu.org> | 2018-02-13 14:13:53 -0800 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2018-02-13 14:13:53 -0800 |
| commit | 6c7186de3bbb2b7652cdc01a68bee035761197e5 (patch) | |
| tree | d7d215df0d57f4f4f05cf6c256b5c68e8da9ec9f /src/w32menu.c | |
| parent | 98f4e336e879e54251694fa0d47b69d8d325176d (diff) | |
| download | emacs-6c7186de3bbb2b7652cdc01a68bee035761197e5.tar.gz | |
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 'src/w32menu.c')
0 files changed, 0 insertions, 0 deletions