fill_background_by_face 1359 src/pgtkterm.c   fill_background_by_face (s->f, s->face, x, y, width, height);
fill_background_by_face 3552 src/pgtkterm.c 	fill_background_by_face (f, face, p->bx, p->by, p->nx, p->ny);
fill_background_by_face 4967 src/pgtkterm.c 	  fill_background_by_face (f, face, 0, margin, width, border);
fill_background_by_face 4968 src/pgtkterm.c 	  fill_background_by_face (f, face, 0, 0, border, height);
fill_background_by_face 4969 src/pgtkterm.c 	  fill_background_by_face (f, face, width - border, 0, border,
fill_background_by_face 4971 src/pgtkterm.c 	  fill_background_by_face (f, face, 0, (height