95
93
if len(self.menu.get_children()) > 0:
96
94
self.menu.popup(None, None, None, 1, gtk.get_current_event_time())
99
about = gnome.ui.About("Gnome15", g15globals.version, "GPL", \
101
g15desktop.AUTHORS, "Brett Smith <tanktarta@blueyonder.co.uk>", gtk.gdk.pixbuf_new_from_file(g15util.get_app_icon(self.conf_client, "gnome15", 128)))
104
96
def add_service_item(self, item):
105
97
self._append_item(item, self.prefs_menu)