# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 979736387 0
# Node ID bc6d69d139c65b6dcd1c21ac1a4415a3b5d2c1ee
# Parent  cb956e6630753f2e86c2e6f21af67ab199c60cfe
(redisplay_tool_bar): Change tool bar's height when
not everything could be displayed.

diff -r cb956e663075 -r bc6d69d139c6 src/xdisp.c
--- a/src/xdisp.c	Wed Jan 17 12:07:03 2001 +0000
+++ b/src/xdisp.c	Wed Jan 17 12:59:47 2001 +0000
@@ -7460,6 +7460,11 @@
   if (auto_resize_tool_bars_p)
     {
       int nlines;
+
+      /* If we couldn't display everything, change the tool-bar's
+	 height.  */
+      if (IT_STRING_CHARPOS (it) < it.end_charpos)
+	change_height_p = 1;
       
       /* If there are blank lines at the end, except for a partially
 	 visible blank line at the end that is smaller than