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