equal
deleted
inserted
replaced
1832 topic. |
1832 topic. |
1833 |
1833 |
1834 Returns 0 if successful. |
1834 Returns 0 if successful. |
1835 """ |
1835 """ |
1836 option_lists = [] |
1836 option_lists = [] |
1837 textwidth = util.termwidth() - 2 |
1837 textwidth = ui.termwidth() - 2 |
1838 |
1838 |
1839 def addglobalopts(aliases): |
1839 def addglobalopts(aliases): |
1840 if ui.verbose: |
1840 if ui.verbose: |
1841 option_lists.append((_("global options:"), globalopts)) |
1841 option_lists.append((_("global options:"), globalopts)) |
1842 if name == 'shortlist': |
1842 if name == 'shortlist': |