fill_background  1379 src/pgtkterm.c 	  fill_background (s, s->x, s->y + box_line_width,
fill_background  2177 src/pgtkterm.c     fill_background (s, x, y, w, h);
fill_background  2405 src/pgtkterm.c 	    fill_background (s, x, y, w, h);