diff man/gnus-faq.texi @ 30050:ed1979c6dfb9

* xterm.c (note_mode_line_highlight, note_mouse_highlight) (note_tool_bar_highlight, XTread_socket): * msdos.c (IT_note_mode_line_highlight, IT_note_mouse_highlight) (dos_rawgetc): * w32term.c (note_mode_line_highlight, note_mouse_highlight) (note_tool_bar_highlight, w32_read_socket): Do not gratuitously ignore non-string `help-echo' properties.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Wed, 05 Jul 2000 13:41:00 +0000
parents 54fda0e8528a
children 9c198c1dc72f
line wrap: on
line diff