(w32_read_socket): Set mouse_face_hidden after clearing highlight.
authorKim F. Storm <storm@cua.dk>
Mon, 5 Apr 2004 21:54:17 +0000 (21:54 +0000)
committerKim F. Storm <storm@cua.dk>
Mon, 5 Apr 2004 21:54:17 +0000 (21:54 +0000)
commit7292c311e893b6f12677bfea633cbfab5b5d16a2
tree92926f4147160eab60a53d9a91c6ce0d7ab19acf
parentfbb6cd8c99cad5ce1cc20641d808c3889daf777b
(w32_read_socket): Set mouse_face_hidden after clearing highlight.
src/w32term.c