def __menu_decimals(self):
menu = gtk.Menu()
option = None
for i in range(11):
option = gtk.RadioMenuItem(i, group = option)
option.set_active(i == self.num_decimals)
option.connect('activate', self.__set_num_decimals, i)
menu.append(option)
return submenu(menu, 'Set decimals')
评论列表
文章目录