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)
bookmarks-indicator.py 文件源码
python
阅读 17
收藏 0
点赞 0
评论 0
评论列表
文章目录