78
78
self.merge_id = manager.new_merge_id()
79
79
manager.insert_action_group(self.action_group, -1)
80
80
manager.add_ui(self.merge_id, '/MenuBar/ToolsMenu/ToolsOps_5', \
81
'Snippets', 'Snippets', gtk.UI_MANAGER_MENUITEM, False)
81
'ManageSnippets', 'ManageSnippets', gtk.UI_MANAGER_MENUITEM, False)
84
84
manager = self.window.get_ui_manager()