BORDER           2485 dev/wscons/wsdisplay.c 	if (border == BORDER) {
BORDER           2691 dev/wscons/wsdisplay.c 	right = skip_spc_right(BORDER); /* useful later, in mouse_copy_extend */
BORDER           2825 dev/wscons/wsdisplay.c 			right = skip_spc_right(BORDER);