def settings_clicked(self, widget): self.settings_menu.popup( None, None, None, None, 0, Gtk.get_current_event_time())