20250113
from
2025年の日記
20250113
20250112
20250114
prompt_toolkit
https://github.com/prompt-toolkit/python-prompt-toolkit
https://python-prompt-toolkit.readthedocs.io/en/stable/pages/tutorials/repl.html
"markdown.preview.fontFamily": "Segoe UI, \"BIZ UDGothic\""