update_marginal_area 4282 src/dispnew.c  	  update_marginal_area (w, desired_row, LEFT_MARGIN_AREA, vpos);
update_marginal_area 4302 src/dispnew.c  	  update_marginal_area (w, desired_row, RIGHT_MARGIN_AREA, vpos);