gui_draw_vertical_border 3474 src/dispextern.h extern void gui_draw_vertical_border (struct window *w);
gui_draw_vertical_border 3918 src/dispnew.c  	    gui_draw_vertical_border (w);
gui_draw_vertical_border 20658 src/xdisp.c    	    gui_draw_vertical_border (w);
gui_draw_vertical_border 36177 src/xdisp.c    	    gui_draw_vertical_border (w);