const char* font_name = GtkStyleString("gtk-font-name");
String font_name = GtkStyleString("gtk-font-name");
Report message to a moderator