gui_draw_right_divider 3475 src/dispextern.h extern void gui_draw_right_divider (struct window *w);
gui_draw_right_divider 3916 src/dispnew.c  	    gui_draw_right_divider (w);
gui_draw_right_divider 20656 src/xdisp.c    	    gui_draw_right_divider (w);
gui_draw_right_divider 36175 src/xdisp.c    	    gui_draw_right_divider (w);