(title: string)
| 1398 | const INDENT = UI_INDENT; |
| 1399 | const divider = this.#uiDivider(); |
| 1400 | const header = (title: string) => this.#uiHeader(title); |
| 1401 | // Section headings ("Options", "Commands", …) get a colored title and an underline. |
| 1402 | const sectionTitle = (title: string) => this.#uiSectionTitle(title); |
| 1403 | const outputIncorrectUsageOfHelp = () => { |