diff man/text.texi @ 36446:59630511a774

(x_set_font): Handle case of x_new_fontset returning the same name as before, although there was a change in fontsets.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 01 Mar 2001 12:56:26 +0000
parents 4f19e6a45a2d
children d91ec7a1c11e
line wrap: on
line diff