(x_after_update_window_line): Doc fix.
authorJason Rumney <jasonr@gnu.org>
Sat, 24 Nov 2001 17:31:06 +0000 (17:31 +0000)
committerJason Rumney <jasonr@gnu.org>
Sat, 24 Nov 2001 17:31:06 +0000 (17:31 +0000)
commitb71b81116a0515b1e95d03565b0fe6d757feb845
tree869d7ca8615ae4d27edb7bde39750e704c4ccb78
parentf7d40b3b99c0b9ac225ebe607f81607faa0eabb6
(x_after_update_window_line): Doc fix.
(w32_read_socket): Doc fix.  Avoid SET_FRAME_GARBAGED for tip frames.
<WM_SHOWWINDOW>: Redo mouse highlight when hiding tip frame.
src/w32term.c