[Gtk-sharp-list] Gtk.Widget.ModifyFont

Mike Kestner mkestner@ximian.com
Wed, 07 Apr 2004 09:11:08 -0500

On Tue, 2004-04-06 at 22:59, John Luke wrote:
> Hello,
> 	Attached is a metadata patch to mark the font_desc parameter in Gtk.
> Widget.ModifyFont null_ok as the gtk+ docs said it should be allowed. Ok
> to commit?

Please do.  Thanks for the patch.

Mike Kestner <mkestner@ximian.com>