https://python-prompt-toolkit.readthedocs.io/en/stable/pages/printing_text.html


from prompt_toolkit import print_formatted_text, HTML

print_formatted_text(HTML('<b>This is bold</b>'))
print_formatted_text(HTML('<i>This is italic</i>'))
print_formatted_text(HTML('<u>This is underlined</u>'))

【 在 XiaChuan 的大作中提到: 】
: 比如打出123，想把数字3加粗显示，谢谢
--
修改:seablue FROM 123.112.134.*
FROM 123.112.134.*