changeset 95824:27e773c9952b

(font_parse_fcname): Fix last change; accept decimal points in font size.
author Chong Yidong <cyd@stupidchicken.com>
date Wed, 11 Jun 2008 06:00:36 +0000
parents 4c55bb70e943
children 85ee8c71ce8c
files src/font.c
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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;