diff config.bat @ 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 6fd0d497fc9c
children 0c8e49f72976
line wrap: on
line diff