equal
deleted
inserted
replaced
1426 modcmds = dict.fromkeys([c.split('|', 1)[0] for c in ct]) |
1426 modcmds = dict.fromkeys([c.split('|', 1)[0] for c in ct]) |
1427 helplist(_('list of commands:\n\n'), modcmds.has_key) |
1427 helplist(_('list of commands:\n\n'), modcmds.has_key) |
1428 |
1428 |
1429 if name and name != 'shortlist': |
1429 if name and name != 'shortlist': |
1430 i = None |
1430 i = None |
1431 for f in (helpcmd, helptopic, helpext): |
1431 for f in (helptopic, helpcmd, helpext): |
1432 try: |
1432 try: |
1433 f(name) |
1433 f(name) |
1434 i = None |
1434 i = None |
1435 break |
1435 break |
1436 except cmdutil.UnknownCommand, inst: |
1436 except cmdutil.UnknownCommand, inst: |