WINDOW_RIGHT_EDGE_X 3163 src/androidterm.c 	    ? WINDOW_RIGHT_EDGE_X (s->w)
WINDOW_RIGHT_EDGE_X  964 src/haikuterm.c 	    ? WINDOW_RIGHT_EDGE_X (s->w)
WINDOW_RIGHT_EDGE_X 5887 src/keyboard.c 	  && x <= WINDOW_RIGHT_EDGE_X (window));
WINDOW_RIGHT_EDGE_X 5910 src/keyboard.c 	  && x <= WINDOW_RIGHT_EDGE_X (window));
WINDOW_RIGHT_EDGE_X 1994 src/pgtkterm.c 	    ? WINDOW_RIGHT_EDGE_X (s->w) : window_box_right (s->w, s->area));
WINDOW_RIGHT_EDGE_X 1828 src/w32term.c  	    ? WINDOW_RIGHT_EDGE_X (s->w)
WINDOW_RIGHT_EDGE_X 1350 src/window.c     int right_x = WINDOW_RIGHT_EDGE_X (w);
WINDOW_RIGHT_EDGE_X 36309 src/xdisp.c          int x0 = WINDOW_RIGHT_EDGE_X (w) - WINDOW_RIGHT_DIVIDER_WIDTH (w);
WINDOW_RIGHT_EDGE_X 36310 src/xdisp.c          int x1 = WINDOW_RIGHT_EDGE_X (w);
WINDOW_RIGHT_EDGE_X 36336 src/xdisp.c          int x1 = WINDOW_RIGHT_EDGE_X (w);
WINDOW_RIGHT_EDGE_X 10004 src/xterm.c    	    ? WINDOW_RIGHT_EDGE_X (s->w)