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 23602 src/xdisp.c    	   || WINDOW_RIGHT_MARGIN_WIDTH (it->w) > 0))
WINDOW_RIGHT_MARGIN_WIDTH 23690 src/xdisp.c    	  if (WINDOW_RIGHT_MARGIN_WIDTH (it->w) > 0
WINDOW_RIGHT_MARGIN_WIDTH 23936 src/xdisp.c          if (WINDOW_RIGHT_MARGIN_WIDTH (it->w) > 0
WINDOW_RIGHT_MARGIN_WIDTH 23938 src/xdisp.c    	      < WINDOW_RIGHT_MARGIN_WIDTH (it->w))
WINDOW_RIGHT_MARGIN_WIDTH 23951 src/xdisp.c    		 < WINDOW_RIGHT_MARGIN_WIDTH (it->w)
WINDOW_RIGHT_MARGIN_WIDTH 25370 src/xdisp.c    			  || WINDOW_RIGHT_MARGIN_WIDTH (it->w) > 0)
WINDOW_RIGHT_MARGIN_WIDTH 25401 src/xdisp.c    			  || WINDOW_RIGHT_MARGIN_WIDTH (it->w) > 0)
WINDOW_RIGHT_MARGIN_WIDTH 25450 src/xdisp.c    			  || WINDOW_RIGHT_MARGIN_WIDTH (it->w) > 0)
WINDOW_RIGHT_MARGIN_WIDTH 29370 src/xdisp.c    	    return OK_PIXELS (WINDOW_RIGHT_MARGIN_WIDTH (it->w));