[Github-comments] [geany] Please support font size as floating point value (#703)