def load_servers(self):
for child in self.server_submenu.get_children():
self.server_submenu.remove(child)
servers = self.config.get('configs', '[]')
index = self.config.get('index', 0)
group = []
i = 0
for server in servers:
name = server['remarks'] + '(' + server['server'] + ':' + str(server['port']) + ')'
item = Gtk.RadioMenuItem.new_with_label(group, name)
item.connect('activate', self.server_activate, server, i)
self.server_submenu.append(item)
group = item.get_group()
if i == index:
item.set_active(True)
self.server_activate(item, server, i)
i = i + 1
self.server_submenu.append(Gtk.SeparatorMenuItem())
self.open_server_item = Gtk.MenuItem('???????...')
self.open_server_item.connect('activate', self.show_server_setting)
self.server_submenu.append(self.open_server_item)
self.server_submenu.show_all()
评论列表
文章目录