gui_draw_vertical_border 3525 src/dispextern.h extern void gui_draw_vertical_border (struct window *w);
gui_draw_vertical_border 3950 src/dispnew.c  	    gui_draw_vertical_border (w);
gui_draw_vertical_border 20864 src/xdisp.c    	    gui_draw_vertical_border (w);
gui_draw_vertical_border 36504 src/xdisp.c    	    gui_draw_vertical_border (w);