# HG changeset patch
# User Jason Rumney <jasonr@gnu.org>
# Date 1181775141 0
# Node ID bd1251472ab942dc76040cd834a00b5da4a7f0f3
# Parent  cf83e3b7a780f5d04fa4fff29560aef027d6106a
(w32font_close): Delete the GDI font object.

diff -r cf83e3b7a780 -r bd1251472ab9 src/w32font.c
--- a/src/w32font.c	Wed Jun 13 21:06:31 2007 +0000
+++ b/src/w32font.c	Wed Jun 13 22:52:21 2007 +0000
@@ -317,7 +317,7 @@
   if (font->font.font)
     {
       W32FontStruct *old_w32_font = (W32FontStruct *)font->font.font;
-      DeleteObject (font->font.font);
+      DeleteObject (old_w32_font->hfont);
       xfree (old_w32_font);
       font->font.font = 0;
     }