mirrors/rich
1
0
Fork 0
mirror of https://github.com/Textualize/rich.git synced 2025-08-04 18:18:22 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

table shrinking

Browse source
This commit is contained in:
Will McGugan 2020-07-03 17:17:37 +01:00
parent 05db129a6f
commit 181973311b
11 changed files with 102 additions and 112 deletions
Download patch file Download diff file Expand all files Collapse all files

30
examples/table_movie.py
View file

@ -54,7 +54,7 @@ TABLE_DATA = [
console = Console()
BEAT_TIME = 0.05
BEAT_TIME = 0.04
@contextmanager
@ -110,7 +110,7 @@ try:
with beat(10):
console.print(table, justify="center")
table.caption = "Made with [b magenta]Rich[/]"
table.caption = "Made with [b magenta not dim]Rich[/]"
with beat(10):
console.print(table, justify="center")
@ -187,25 +187,13 @@ try:
with beat(10):
console.print(table, justify="center")
for color in [
"deep_pink4",
"dark_khaki",
"medium_purple2",
"thistle3",
"orange1",
]:
table.border_style = color
with beat(10):
console.print(table, justify="center")
table.border_style = "bright_yellow"
with beat(10):
console.print(table, justify="center")
for box in [
box.ASCII,
box.ASCII2,
box.DOUBLE,
box.DOUBLE_EDGE,
box.HEAVY_EDGE,
box.MINIMAL_HEAVY_HEAD,
box.MINIMAL_DOUBLE_HEAD,
box.SQUARE,
box.MINIMAL,
box.SIMPLE,
box.SIMPLE_HEAD,
]:
@ -213,6 +201,10 @@ try:
with beat(20):
console.print(table, justify="center")
table.pad_edge = False
with beat(20):
console.print(table, justify="center")
original_width = Measurement.get(console, table).maximum
for width in range(original_width, console.width, 2):