235
235
mutter("Didn't find search plugin")
237
239
branch_index_menuitem = gtk.MenuItem("_Index")
238
240
branch_index_menuitem.connect('activate', self._branch_index_cb)
239
241
branch_menu.add(branch_index_menuitem)
242
248
help_menuitem = gtk.MenuItem("_Help")
243
249
help_menuitem.set_submenu(help_menu)