def set_menus(self, menu_list): GApplication.set_menus(self, menu_list) self._update_menubar()
def set_menus(self, menu_list): GApplication.set_menus(self, menu_list) for window in self._windows: window._gtk_update_menubar()
def set_menus(self, x): #print "Application.set_menus" ### GApplication.set_menus(self, x) for window in self.windows: window._win_menus_changed()