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