diff man/buffers.texi @ 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 e0b702f0bc3c
children 44a6f7ea121f
line wrap: on
line diff