(redisplay_tool_bar): Don't set fonts_changed_p if
authorGerd Moellmann <gerd@gnu.org>
Tue, 31 Oct 2000 12:53:56 +0000 (12:53 +0000)
committerGerd Moellmann <gerd@gnu.org>
Tue, 31 Oct 2000 12:53:56 +0000 (12:53 +0000)
commite85ee976fe1a85fbd4adda3d6f168e0bf1c6cc16
tree0f6aedc57245de0ec701ab6491e4a4c4b523b8e8
parent01b220b61ab1e1790b998a7e7a75a03cd0ef4188
(redisplay_tool_bar): Don't set fonts_changed_p if
window height hasn't changed.
src/ChangeLog
src/xdisp.c