diff etc/rgb.txt @ 36066:ea51e9f7266e

(best_matching_font): New parameter width_ratio. Multiply avgwidth by width_ratio. (choose_face_font): Call best_matching_font with width_ratio calculated from the column width of C.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 13 Feb 2001 15:22:51 +0000
parents 4da47e04a087
children 23a1cea22d13
line wrap: on
line diff