fill_background_by_face 1362 src/pgtkterm.c   fill_background_by_face (s->f, s->face, x, y, width, height);
fill_background_by_face 3555 src/pgtkterm.c 	fill_background_by_face (f, face, p->bx, p->by, p->nx, p->ny);
fill_background_by_face 4970 src/pgtkterm.c 	  fill_background_by_face (f, face, 0, margin, width, border);
fill_background_by_face 4971 src/pgtkterm.c 	  fill_background_by_face (f, face, 0, 0, border, height);
fill_background_by_face 4972 src/pgtkterm.c 	  fill_background_by_face (f, face, width - border, 0, border,
fill_background_by_face 4974 src/pgtkterm.c 	  fill_background_by_face (f, face, 0, (height