update_marginal_area 4250 src/dispnew.c  	  update_marginal_area (w, desired_row, LEFT_MARGIN_AREA, vpos);
update_marginal_area 4270 src/dispnew.c  	  update_marginal_area (w, desired_row, RIGHT_MARGIN_AREA, vpos);