实时显示中表格的垂直溢出应该滚动内容

Question

我正在使用Live 显示来显示随时间增长的Table 的内容。最终会出现垂直溢出，在这种情况下，我希望最旧的（即最上面的）行消失，而最近的行应该与标题一起显示，即内容应该滚动。实时显示的vertical_overflow 参数提供了"visible" 选项，但这会使表格的标题消失。显然这是一个Table 特定的问题，因为标题应该保留但内容应该滚动。

import time
from rich.live import Live
from rich.table import Table

table = Table()
table.add_column('Time')
table.add_column('Message')

with Live(table, refresh_per_second=5, vertical_overflow='visible'):
    for i in range(100):
        time.sleep(0.2)
        table.add_row(time.asctime(), f'Event {i:03d}')

左侧部分显示vertical_overflow='visible' 的行为，右侧部分显示所需的行为：

到目前为止，我正在使用一种解决方法，使用单独的数据结构来保存行，然后在每次添加新行时从头开始创建表。这似乎不是很有效，所以我想知道是否有更好的解决方案。对于多行行，此解决方法也失败，因为它将它们计为单行（因此会发生溢出）。

from collections import deque
import os
import time
from rich.live import Live
from rich.table import Table


def generate_table(rows):
    table = Table()
    table.add_column('Time')
    table.add_column('Message')
    for row in rows:
        table.add_row(*row)
    return table


width, height = os.get_terminal_size()
messages = deque(maxlen=height-4)  # save space for header and footer

with Live(generate_table(messages), refresh_per_second=5) as live:
    for i in range(100):
        time.sleep(0.2)
        messages.append((time.asctime(), f'Event {i:03d}'))
        live.update(generate_table(messages))

Answer 1

我最近也在做同样的事情，也找不到内置的解决方案。由于您正在渲染实时显示，因此该表的行数不会超过 ~100 行，因此不必担心效率问题。

这是我的解决方案。它反复从顶部删除行，直到表格适合为止。这是通过将表格放入 Layout 来衡量的，如果表格不合适，它会截断底部的表格。

from collections import deque
import os
import time
from rich.live import Live
from rich.table import Table
from rich.layout import Layout
from rich.console import Console


def generate_table(rows):
    layout = Layout()
    console = Console()

    table = Table()
    table.add_column('Time')
    table.add_column('Message')

    rows = list(rows)

    # This would also get the height:
    # render_map = layout.render(console, console.options)
    # render_map[layout].region.height
    n_rows = os.get_terminal_size()[1]

    while n_rows >= 0:
        table = Table()
        table.add_column('Time')
        table.add_column('Message')

        for row in rows[-n_rows:]:
            table.add_row(*row)

        layout.update(table)

        render_map = layout.render(console, console.options)

        if len(render_map[layout].render[-1]) > 2:
            # The table is overflowing
            n_rows -= 1
        else:
            break

    return table


width, height = os.get_terminal_size()
messages = deque(maxlen=height-4)  # save space for header and footer

with Live(generate_table(messages), refresh_per_second=5) as live:
    for i in range(100):
        time.sleep(0.2)
        messages.append((time.asctime(), f'Event {i:03d}'))
        live.update(generate_table(messages))

这里的魔法线是if len(render_map[layout].render[-1]) > 2:。 这是一种判断表格是否完整打印的方法。 如果是，render_map[layout].render 的最后一个元素会是这样的

[
    Segment('└──────────────────────────┘', Style()),
    Segment('                                                                         ',)
]

或喜欢

[
    Segment(
        '
',
    )
]

但如果它被截断，它将看起来像

[
    Segment('│', Style()),
    Segment(' ', Style()),
    Segment(
        '37',
        Style(color=Color('cyan', ColorType.STANDARD, number=6), bold=True, italic=False)
    ),
    Segment('                      ', Style()),
    Segment(' ', Style()),
    Segment('│', Style()),
    Segment('                                                                         ',)
]