x_set_mouse_face_gc 8119 src/xterm.c          x_set_mouse_face_gc (s);
x_set_mouse_face_gc 10375 src/xterm.c    	      x_set_mouse_face_gc (s);