# HG changeset patch
# User Chong Yidong <cyd@stupidchicken.com>
# Date 1213164036 0
# Node ID 27e773c9952b1642aaccd784fae5c02624a6124e
# Parent  4c55bb70e943f07891e7a89912cc435b2f054bfb
(font_parse_fcname): Fix last change; accept decimal points in font
size.

diff -r 4c55bb70e943 -r 27e773c9952b src/font.c
--- a/src/font.c	Wed Jun 11 05:59:26 2008 +0000
+++ b/src/font.c	Wed Jun 11 06:00:36 2008 +0000
@@ -1365,7 +1365,7 @@
 	{
 	  int size_found = 1;
 	  for (q = p + 1; *q && *q != ':'; q++)
-	    if (! isdigit(*q))
+	    if (! isdigit(*q) && *q != '.')
 	      {
 		size_found = 0;
 		break;