comparison etc/TUTORIAL.th @ 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 (2004-04-05)
parents 695cf19ef79e
children a40f83f2ce7e 375f2633d815
comparison
equal deleted inserted replaced
54730:c33e4ac43939 54731:4031909001d5