comparison src/window.c @ 40543:9461cfa8d18d

(grow_mini_window): Handle case that the root window is already smaller than the nominal mininum height.

40542:93f6c74a2f60

  root = XWINDOW (FRAME_ROOT_WINDOW (f));
  if (delta)
    {
      int min_height = window_min_size (root, 0, 0, 0);
      if (XFASTINT (root->height) - delta < min_height)
	delta = XFASTINT (root->height) - min_height;
    }
    
  if (delta)
    {
      /* Save original window sizes and positions, if not already done.  */

40543:9461cfa8d18d

  root = XWINDOW (FRAME_ROOT_WINDOW (f));
  if (delta)
    {
      int min_height = window_min_size (root, 0, 0, 0);
      if (XFASTINT (root->height) - delta < min_height)
	/* Note that the roor window may already be smaller than
	   min_height.  */
	delta = max (0, XFASTINT (root->height) - min_height);
    }
    
  if (delta)
    {
      /* Save original window sizes and positions, if not already done.  */