def postwindowsmenu(menu=menu): end = menu.index('end') if end is None: end = -1 if end > 0: menu.delete(0, end) WindowList.add_windows_to_menu(menu)
def postwindowsmenu(menu=menu): end = menu.index('end') if end is None: end = -1 if end > 0: menu.delete(0, end) WindowList.add_windows_to_menu(menu) return
def postwindowsmenu(self): menu = self.menudict['windows'] end = menu.index('end') if end is None: end = -1 if end > self.wmenu_end: menu.delete(self.wmenu_end + 1, end) WindowList.add_windows_to_menu(menu) return