window_box_edges 36253 src/xdisp.c          window_box_edges (w, &x0, &y0, &x1, &y1);
window_box_edges 36267 src/xdisp.c          window_box_edges (w, &x0, &y0, &x1, &y1);