(
self, console: Console, options: ConsoleOptions
)
| 84 | yield Segment.line() |
| 85 | |
| 86 | def __rich_measure__( |
| 87 | self, console: Console, options: ConsoleOptions |
| 88 | ) -> Measurement: |
| 89 | return ( |
| 90 | Measurement(self.width, self.width) |
| 91 | if self.width is not None |
| 92 | else Measurement(4, options.max_width) |
| 93 | ) |