equal
deleted
inserted
replaced
1983 topic. |
1983 topic. |
1984 |
1984 |
1985 Returns 0 if successful. |
1985 Returns 0 if successful. |
1986 """ |
1986 """ |
1987 option_lists = [] |
1987 option_lists = [] |
1988 textwidth = ui.termwidth() - 2 |
1988 textwidth = min(ui.termwidth(), 80) - 2 |
1989 |
1989 |
1990 def addglobalopts(aliases): |
1990 def addglobalopts(aliases): |
1991 if ui.verbose: |
1991 if ui.verbose: |
1992 option_lists.append((_("global options:"), globalopts)) |
1992 option_lists.append((_("global options:"), globalopts)) |
1993 if name == 'shortlist': |
1993 if name == 'shortlist': |