Searched refs:dumpmenu (Results 1 – 1 of 1) sorted by relevance
1889 self.dumpmenu(menu,indent+2,outfile)1893 def dumpmenu(self, menu, indent=0, outfile=sys.stdout): member in HTMLHelp