bugfix: invalid font size format for gtk2 gui