def add_menu_separator(self, menu, show=True): item = gtk.SeparatorMenuItem() menu.append(item) if show: item.show()