# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 972996836 0
# Node ID ad497bf7b9ffeb986f7563e94c11fcc13af66090
# Parent  006a1f5b5f4376ed321e3b311500e6e8db8b239b
*** empty log message ***

diff -r 006a1f5b5f43 -r ad497bf7b9ff src/ChangeLog
--- a/src/ChangeLog	Tue Oct 31 12:51:08 2000 +0000
+++ b/src/ChangeLog	Tue Oct 31 12:53:56 2000 +0000
@@ -1,3 +1,8 @@
+2000-10-31  Gerd Moellmann  <gerd@gnu.org>
+
+	* xdisp.c (redisplay_tool_bar): Don't set fonts_changed_p if
+	window height hasn't changed.
+
 2000-10-31  Jason Rumney  <jasonr@gnu.org>
 
 	* w32term.c (x_produce_glyphs): Handle composite characters.