WINDOW_RIGHT_MARGIN_WIDTH 4643 src/w32fns.c   			       - WINDOW_RIGHT_MARGIN_WIDTH (w)
WINDOW_RIGHT_MARGIN_WIDTH  829 src/window.h      + WINDOW_RIGHT_MARGIN_WIDTH (W))
WINDOW_RIGHT_MARGIN_WIDTH 1283 src/xdisp.c    	width = WINDOW_RIGHT_MARGIN_WIDTH (w);
WINDOW_RIGHT_MARGIN_WIDTH 23396 src/xdisp.c    	   || WINDOW_RIGHT_MARGIN_WIDTH (it->w) > 0))
WINDOW_RIGHT_MARGIN_WIDTH 23484 src/xdisp.c    	  if (WINDOW_RIGHT_MARGIN_WIDTH (it->w) > 0
WINDOW_RIGHT_MARGIN_WIDTH 23730 src/xdisp.c          if (WINDOW_RIGHT_MARGIN_WIDTH (it->w) > 0
WINDOW_RIGHT_MARGIN_WIDTH 23732 src/xdisp.c    	      < WINDOW_RIGHT_MARGIN_WIDTH (it->w))
WINDOW_RIGHT_MARGIN_WIDTH 23745 src/xdisp.c    		 < WINDOW_RIGHT_MARGIN_WIDTH (it->w)
WINDOW_RIGHT_MARGIN_WIDTH 25164 src/xdisp.c    			  || WINDOW_RIGHT_MARGIN_WIDTH (it->w) > 0)
WINDOW_RIGHT_MARGIN_WIDTH 25195 src/xdisp.c    			  || WINDOW_RIGHT_MARGIN_WIDTH (it->w) > 0)
WINDOW_RIGHT_MARGIN_WIDTH 25244 src/xdisp.c    			  || WINDOW_RIGHT_MARGIN_WIDTH (it->w) > 0)
WINDOW_RIGHT_MARGIN_WIDTH 29085 src/xdisp.c    	    return OK_PIXELS (WINDOW_RIGHT_MARGIN_WIDTH (it->w));