diff info/.cvsignore @ 54731:4031909001d5

(w32_read_socket): Set mouse_face_hidden after clearing highlight.
author Kim F. Storm <storm@cua.dk>
date Mon, 05 Apr 2004 21:54:17 +0000
parents d188f47d6642
children c178e775426f 9d3c061434e6
line wrap: on
line diff