rem: while (isdigit(*tmp) ||
add: while (g_ascii_isdigit(*tmp) ||
context: void update_font_button(GtkWidget * name_label,			GtkWidget * size_label,			gchar * fontname){    gchar * font_name, *font_size, *tmp;    if (!fontname)	fontname = "Sans 10";    gtk_widget_modify_font (name_label,			    pango_font_description_from_string(fontname));    font_name = g_strdup ( fontname );    tmp = font_name + strlen(font_name) - 1;    while (isdigit(*tmp) ||	   (*tmp) == '.')	tmp --;    font_size = tmp+1;    while (*tmp == ' ' ||	   *tmp == ',')    {	*tmp=0;	tmp--;    }    gtk_label_set_text (GTK_LABEL(name_label), font_name);    gtk_label_set_text (GTK_LABEL(size_label), font_size);}