comparison src/window.c @ 44264:6bcf9f9c10df

(window_scroll_pixel_based): Exit the move_it_by_lines loop whenever it stops making progress.

44263:13c043393136

	{
	  /* We moved the window start towards ZV, so PT may be now
	     in the scroll margin at the top.  */
	  move_it_to (&it, PT, -1, -1, -1, MOVE_TO_POS);
	  while (it.current_y < this_scroll_margin)
	    move_it_by_lines (&it, 1, 1);
	  SET_PT_BOTH (IT_CHARPOS (it), IT_BYTEPOS (it));
	}
      else if (n < 0)
	{
	  int charpos, bytepos;

44264:6bcf9f9c10df

	{
	  /* We moved the window start towards ZV, so PT may be now
	     in the scroll margin at the top.  */
	  move_it_to (&it, PT, -1, -1, -1, MOVE_TO_POS);
	  while (it.current_y < this_scroll_margin)
	    {
	      int prev = it.current_y;
	      move_it_by_lines (&it, 1, 1);
	      if (prev == it.current_y)
		break;
	    }
	  SET_PT_BOTH (IT_CHARPOS (it), IT_BYTEPOS (it));
	}
      else if (n < 0)
	{
	  int charpos, bytepos;