WINDOW_RIGHT_MARGIN_WIDTH 4676 src/w32fns.c   			       - WINDOW_RIGHT_MARGIN_WIDTH (w)
WINDOW_RIGHT_MARGIN_WIDTH  848 src/window.h      + WINDOW_RIGHT_MARGIN_WIDTH (W))
WINDOW_RIGHT_MARGIN_WIDTH 1284 src/xdisp.c    	width = WINDOW_RIGHT_MARGIN_WIDTH (w);
WINDOW_RIGHT_MARGIN_WIDTH 23594 src/xdisp.c    	   || WINDOW_RIGHT_MARGIN_WIDTH (it->w) > 0))
WINDOW_RIGHT_MARGIN_WIDTH 23682 src/xdisp.c    	  if (WINDOW_RIGHT_MARGIN_WIDTH (it->w) > 0
WINDOW_RIGHT_MARGIN_WIDTH 23928 src/xdisp.c          if (WINDOW_RIGHT_MARGIN_WIDTH (it->w) > 0
WINDOW_RIGHT_MARGIN_WIDTH 23930 src/xdisp.c    	      < WINDOW_RIGHT_MARGIN_WIDTH (it->w))
WINDOW_RIGHT_MARGIN_WIDTH 23943 src/xdisp.c    		 < WINDOW_RIGHT_MARGIN_WIDTH (it->w)
WINDOW_RIGHT_MARGIN_WIDTH 25362 src/xdisp.c    			  || WINDOW_RIGHT_MARGIN_WIDTH (it->w) > 0)
WINDOW_RIGHT_MARGIN_WIDTH 25393 src/xdisp.c    			  || WINDOW_RIGHT_MARGIN_WIDTH (it->w) > 0)
WINDOW_RIGHT_MARGIN_WIDTH 25442 src/xdisp.c    			  || WINDOW_RIGHT_MARGIN_WIDTH (it->w) > 0)
WINDOW_RIGHT_MARGIN_WIDTH 29360 src/xdisp.c    	    return OK_PIXELS (WINDOW_RIGHT_MARGIN_WIDTH (it->w));