bookmarks-indicator.py 文件源码

def append_separator(self, widget, name=None):
        '''
        Append a separator to a menu.
        '''
        sep = gtk.SeparatorMenuItem()
        sep.show()
        widget.append(sep)
        if name != None:
            sep_title = gtk.MenuItem(name)
            sep_title.set_sensitive(False)
            sep_title.show()
            widget.append(sep_title)