fill_background  1382 src/pgtkterm.c 	  fill_background (s, s->x, s->y + box_line_width,
fill_background  2180 src/pgtkterm.c     fill_background (s, x, y, w, h);
fill_background  2408 src/pgtkterm.c 	    fill_background (s, x, y, w, h);