diff src/undo.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 c250fe62d36e
children c70e45a7acfd 959f4471c16e
line wrap: on
line diff