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