pgtk_set_mouse_face_gc 1224 src/pgtkterm.c       pgtk_set_mouse_face_gc (s);
pgtk_set_mouse_face_gc 2396 src/pgtkterm.c 	      pgtk_set_mouse_face_gc (s);