GNOME Bugzilla – Bug 636336
Gtk: add an override for Gtk.main_quit
Last modified: 2010-12-04 00:56:28 UTC
Override gtk.main_quit so that it can be used as a callback to signals, most importantly to the destroy signal of a widget: widget.connect('destroy', gtk.main_quit) This is compatible with what PyGTK does.
Created attachment 175752 [details] [review] Gtk: add an override for Gtk.main_quit
Created attachment 175776 [details] [review] Gtk: add an override for Gtk.main_quit Override gtk.main_quit so that it can be used as a callback to signals, most importantly to the destroy signal of a widget: widget.connect('destroy', gtk.main_quit) This is compatible with what PyGTK does. Updated version with a little bit of generic infrastructure.
Comment on attachment 175776 [details] [review] Gtk: add an override for Gtk.main_quit looks good. I'll commit it today