log src/w32term.c @ 54736:b94de166de9d

age author description
Mon, 05 Apr 2004 21:54:17 +0000 Kim F. Storm (w32_read_socket): Set mouse_face_hidden after clearing highlight.