WINDOW_TOP_PIXEL_EDGE  412 src/dispnew.c  	  && matrix->window_pixel_top == WINDOW_TOP_PIXEL_EDGE (w)
WINDOW_TOP_PIXEL_EDGE  579 src/dispnew.c  	      && matrix->window_pixel_top == WINDOW_TOP_PIXEL_EDGE (w)
WINDOW_TOP_PIXEL_EDGE  633 src/dispnew.c        matrix->window_pixel_top = WINDOW_TOP_PIXEL_EDGE (w);
WINDOW_TOP_PIXEL_EDGE  864 src/frame.c          || WINDOW_TOP_PIXEL_EDGE (r) != FRAME_TOP_MARGIN_HEIGHT (f))
WINDOW_TOP_PIXEL_EDGE  677 src/window.h     (WINDOW_TOP_PIXEL_EDGE (W) == 0)
WINDOW_TOP_PIXEL_EDGE  747 src/window.h     (WINDOW_TOP_PIXEL_EDGE (W) + WINDOW_PIXEL_HEIGHT (W))
WINDOW_TOP_PIXEL_EDGE  793 src/window.h      + WINDOW_TOP_PIXEL_EDGE (W))