# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1154712081 0
# Node ID 680d93dcff9e245c7d73f8e0c64a0062b2e1086d
# Parent  3f5cb3f04fdcbb00829faaf5ac36b0ac1108aab5
(w32_query_font): Fix last change: use stricmp.

diff -r 3f5cb3f04fdc -r 680d93dcff9e src/w32fns.c
--- a/src/w32fns.c	Fri Aug 04 15:44:27 2006 +0000
+++ b/src/w32fns.c	Fri Aug 04 17:21:21 2006 +0000
@@ -6236,7 +6236,7 @@
 
   for (i = 0; i < one_w32_display_info.n_fonts ;i++, pfi++)
     {
-      if (strcasecmp(pfi->name, fontname) == 0) return pfi;
+      if (stricmp(pfi->name, fontname) == 0) return pfi;
     }
 
   return NULL;