WINDOW_MARGINS_WIDTH 1104 src/window.c   		- WINDOW_MARGINS_WIDTH (w)
WINDOW_MARGINS_WIDTH 7867 src/window.c   	   - WINDOW_MARGINS_WIDTH (w)
WINDOW_MARGINS_WIDTH 7990 src/window.c   	   - WINDOW_MARGINS_WIDTH (w)
WINDOW_MARGINS_WIDTH 1279 src/xdisp.c    	width -= (WINDOW_MARGINS_WIDTH (w)