(font_parse_fcname): Fix last change; accept decimal points in font

size.

1 files changed, 1 insertions, 1 deletions

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;