log

age author description
Mon, 05 Apr 2004 21:55:16 +0000 Kim F. Storm (handle_one_xevent): Set mouse_face_hidden after clearing highlight.
Mon, 05 Apr 2004 21:54:43 +0000 Kim F. Storm (clear_mouse_face): Only clear mouse highlight if not hidden.
Mon, 05 Apr 2004 21:54:17 +0000 Kim F. Storm (w32_read_socket): Set mouse_face_hidden after clearing highlight.
Mon, 05 Apr 2004 21:54:02 +0000 Kim F. Storm (clear_mouse_face): Only clear mouse highlight if not hidden.