From 32a7e53cb36166c5ee44bed32520966307d62679 Mon Sep 17 00:00:00 2001
From: Chong Yidong <cyd@stupidchicken.com>
Date: Wed, 11 Jun 2008 06:00:36 +0000
Subject: [PATCH] (font_parse_fcname): Fix last change; accept decimal points
 in font size.

---
 src/font.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/font.c b/src/font.c
index 72ef2d3b58d..5fd2abe5641 100644
--- a/src/font.c
+++ b/src/font.c
@@ -1365,7 +1365,7 @@ font_parse_fcname (name, font)
 	{
 	  int size_found = 1;
 	  for (q = p + 1; *q && *q != ':'; q++)
-	    if (! isdigit(*q))
+	    if (! isdigit(*q) && *q != '.')
 	      {
 		size_found = 0;
 		break;
-- 
2.39.2