diff man/reftex.texi @ 37679:13efa6105da9

(try_alternative_families): New function. (try_font_list): Use it. If ATTRS specifies a family, check fonts from that family first. (choose_face_font): Remove code setting the family part of the pattern to nil.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 11 May 2001 11:19:19 +0000
parents 730f77edf073
children 8e7df927fd92
line wrap: on
line diff