(w32_read_socket): When focus_follows_mouse is nil make
commit74a9b36f855e49f68f5e1e56a6b58052ad2e6133
authorMartin Rudalics <rudalics@gmx.at>
Sat, 6 Oct 2007 09:52:39 +0000 (6 09:52 +0000)
committerMartin Rudalics <rudalics@gmx.at>
Sat, 6 Oct 2007 09:52:39 +0000 (6 09:52 +0000)
tree65c4ff9b747eef51d11eca0639b325e986f7a54b
parent7d72e3141ef23f4336680eab456d8f602731bc5a
(w32_read_socket): When focus_follows_mouse is nil make
SELECT_WINDOW_EVENT only if we don't leave the selected frame.
src/w32term.c