# HG changeset patch
# User Jason Rumney <jasonr@gnu.org>
# Date 1216819120 0
# Node ID 59f723e2168bdd4f4c317fdcc819cebdd0381409
# Parent  8020d93e3d0b6d2d68a21c91ec9fd0eebc86c953
(w32_enumfont_pattern_entity): Return height consistent with opened font.

diff -r 8020d93e3d0b -r 59f723e2168b src/w32font.c
--- a/src/w32font.c	Wed Jul 23 08:51:00 2008 +0000
+++ b/src/w32font.c	Wed Jul 23 13:18:40 2008 +0000
@@ -1032,7 +1032,9 @@
   FONT_SET_STYLE (entity, FONT_WIDTH_INDEX, make_number (100));
 
   if (font_type & RASTER_FONTTYPE)
-    ASET (entity, FONT_SIZE_INDEX, make_number (physical_font->ntmTm.tmHeight));
+    ASET (entity, FONT_SIZE_INDEX,
+          make_number (physical_font->ntmTm.tmHeight
+                       + physical_font->ntmTm.tmExternalLeading));
   else
     ASET (entity, FONT_SIZE_INDEX, make_number (0));