diff make-dist @ 35859:c9edddbb8dbf

(x_set_font): If font hasn't changed, avoid recomputing faces and other things.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 02 Feb 2001 15:27:55 +0000
parents 3f8e87ac64ab
children 4bfdb0896d45
line wrap: on
line diff