(
self, console: Console, options: ConsoleOptions, number: int, last_number: int
)
| 395 | yield new_line |
| 396 | |
| 397 | def render_number( |
| 398 | self, console: Console, options: ConsoleOptions, number: int, last_number: int |
| 399 | ) -> RenderResult: |
| 400 | number_width = len(str(last_number)) + 2 |
| 401 | render_options = options.update(width=options.max_width - number_width) |
| 402 | lines = console.render_lines(self.elements, render_options, style=self.style) |
| 403 | number_style = console.get_style("markdown.item.number", default="none") |
| 404 | |
| 405 | new_line = Segment("\n") |
| 406 | padding = Segment(" " * number_width, number_style) |
| 407 | numeral = Segment(f"{number}".rjust(number_width - 1) + " ", number_style) |
| 408 | for first, line in loop_first(lines): |
| 409 | yield numeral if first else padding |
| 410 | yield from line |
| 411 | yield new_line |
| 412 | |
| 413 | |
| 414 | class Link(TextElement): |
no test coverage detected