diff man/vip.texi @ 70699:434948c350d2

(better_font_p): Any font beats no font. (best_matching_font): Simplify based on above change.
author Richard M. Stallman <rms@gnu.org>
date Wed, 17 May 2006 22:51:07 +0000
parents 11b616eddda4
children b7261e09f8e4 e6bf73e43cf4
line wrap: on
line diff