equal
deleted
inserted
replaced
141 cmdname = cmd.partition('|')[0].lstrip('^') |
141 cmdname = cmd.partition('|')[0].lstrip('^') |
142 if entry[0].__doc__: |
142 if entry[0].__doc__: |
143 cmddoc = gettext(entry[0].__doc__).splitlines()[0] |
143 cmddoc = gettext(entry[0].__doc__).splitlines()[0] |
144 else: |
144 else: |
145 cmddoc = _('(no help text available)') |
145 cmddoc = _('(no help text available)') |
|
146 if filtercmd(ui, cmdname, kw, cmddoc): |
|
147 continue |
146 results['extensioncommands'].append((cmdname, cmddoc)) |
148 results['extensioncommands'].append((cmdname, cmddoc)) |
147 return results |
149 return results |
148 |
150 |
149 def loaddoc(topic, subdir=None): |
151 def loaddoc(topic, subdir=None): |
150 """Return a delayed loader for help/topic.txt.""" |
152 """Return a delayed loader for help/topic.txt.""" |