diff etc/splash8.xpm @ 37922:fcd11c3e6341

(cursor_in_mouse_face_p): New function. (x_draw_stretch_glyph_string): Use it to choose a different GC when drawing a cursor within highlighted text.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 28 May 2001 13:42:21 +0000
parents c7097f2e0cde
children 16e7738bd009
line wrap: on
line diff