public static void ChangeWidgetFont(Gtk.Widget w, string fontDesc) { w.ModifyFont(Pango.FontDescription.FromString(fontDesc)); }