diff src/widget.c @ 92394:7701acfc2ec5

(w32font_full_name): Report point size for scalable fonts.
author Jason Rumney <jasonr@gnu.org>
date Sat, 01 Mar 2008 23:03:57 +0000
parents 107ccd98fa12
children 606f2d163a64 8971ddf55736
line wrap: on
line diff