def edit_menu2(self):
for i in self.menu.get_children():
self.menu.remove(i)
for m in self.newmenu:
ws = str(m[0] + 1)
space = Gtk.MenuItem(ws)
self.menu.append(space)
if m[1]:
# flattened submenu
self.submenu = Gtk.Menu()
for l in [d for d in m[1]]:
app = l[0]
wins = [[it[0], it[1]] for it in l[1]]
for w in wins:
name = self.shortname(w[0]) + " - " + app
winmention = Gtk.MenuItem(name)
self.submenu.append(winmention)
winmention.connect('activate', self.move_to, w[1])
space.set_submenu(self.submenu)
else:
space.connect('activate', self.get_choice)
# fake separator
self.menu.append(Gtk.MenuItem(''))
newspace = Gtk.MenuItem('+')
newspace.connect('activate', self.add_space)
self.menu.append(newspace)
self.change_onthefly()
self.menu.show_all()
评论列表
文章目录