WINDOW_FRINGES_WIDTH 5870 src/dispnew.c  	       : WINDOW_FRINGES_WIDTH (w))
WINDOW_FRINGES_WIDTH 1106 src/window.c   		   ? WINDOW_FRINGES_WIDTH (w)
WINDOW_FRINGES_WIDTH 7784 src/window.c   	   - WINDOW_FRINGES_WIDTH (w)
WINDOW_FRINGES_WIDTH 7991 src/window.c   	   - WINDOW_FRINGES_WIDTH (w)
WINDOW_FRINGES_WIDTH 1280 src/xdisp.c    		   + WINDOW_FRINGES_WIDTH (w));