public static void SetFont(this Gtk.Widget widget, Pango.FontDescription font) { widget.ModifyFont(font); }