gui_draw_right_divider 3526 src/dispextern.h extern void gui_draw_right_divider (struct window *w);
gui_draw_right_divider 3948 src/dispnew.c  	    gui_draw_right_divider (w);
gui_draw_right_divider 20854 src/xdisp.c    	    gui_draw_right_divider (w);
gui_draw_right_divider 36482 src/xdisp.c    	    gui_draw_right_divider (w);