WINDOW_FRINGES_WIDTH 5816 src/dispnew.c  	       : WINDOW_FRINGES_WIDTH (w))
WINDOW_FRINGES_WIDTH 1106 src/window.c   		   ? WINDOW_FRINGES_WIDTH (w)
WINDOW_FRINGES_WIDTH 7767 src/window.c   	   - WINDOW_FRINGES_WIDTH (w)
WINDOW_FRINGES_WIDTH 7974 src/window.c   	   - WINDOW_FRINGES_WIDTH (w)
WINDOW_FRINGES_WIDTH 1279 src/xdisp.c    		   + WINDOW_FRINGES_WIDTH (w));