Update display_during_execution

This commit is contained in:
YishiMichael
2022-02-15 20:55:44 +08:00
parent 0cab23b2ba
commit 3756605a45

View File

@ -126,6 +126,8 @@ def dvi_to_svg(dvi_file, regen_if_exists=False):
def display_during_execution(message):
# Only show top line
to_print = message.split("\n")[0]
if len(to_print) > 80:
to_print = to_print[:77] + "..."
try:
print(to_print, end="\r")
yield