WINDOW_TOP_PIXEL_EDGE  408 src/dispnew.c  	  && matrix->window_pixel_top == WINDOW_TOP_PIXEL_EDGE (w)
WINDOW_TOP_PIXEL_EDGE  575 src/dispnew.c  	      && matrix->window_pixel_top == WINDOW_TOP_PIXEL_EDGE (w)
WINDOW_TOP_PIXEL_EDGE  629 src/dispnew.c        matrix->window_pixel_top = WINDOW_TOP_PIXEL_EDGE (w);
WINDOW_TOP_PIXEL_EDGE  860 src/frame.c          || WINDOW_TOP_PIXEL_EDGE (r) != FRAME_TOP_MARGIN_HEIGHT (f))
WINDOW_TOP_PIXEL_EDGE  658 src/window.h     (WINDOW_TOP_PIXEL_EDGE (W) == 0)
WINDOW_TOP_PIXEL_EDGE  728 src/window.h     (WINDOW_TOP_PIXEL_EDGE (W) + WINDOW_PIXEL_HEIGHT (W))
WINDOW_TOP_PIXEL_EDGE  774 src/window.h      + WINDOW_TOP_PIXEL_EDGE (W))