how to quit a pygtk application after last window is closed/destroyed,"window.connect('destroy', gtk.main_quit)"