gui_clear_window_mouse_face 6185 src/androidterm.c     gui_clear_window_mouse_face,
gui_clear_window_mouse_face 3553 src/dispextern.h extern void gui_clear_window_mouse_face (struct window *);
gui_clear_window_mouse_face 3051 src/haikuterm.c     gui_clear_window_mouse_face,
gui_clear_window_mouse_face 3666 src/pgtkterm.c   gui_clear_window_mouse_face,
gui_clear_window_mouse_face 7476 src/w32term.c    gui_clear_window_mouse_face,
gui_clear_window_mouse_face 22379 src/xdisp.c    	  gui_clear_window_mouse_face (w);
gui_clear_window_mouse_face 31475 src/xterm.c        gui_clear_window_mouse_face,