diff config.sub @ 33099:006a1f5b5f43

(redisplay_tool_bar): Don't set fonts_changed_p if window height hasn't changed.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 31 Oct 2000 12:51:08 +0000
parents fad18c8cd792
children 65667218173f
line wrap: on
line diff