🌈 搜索
📅  最后修改于: 2022-03-11 14:55:09.303000             🧑  作者: Mango
# add the following into workspace settings.json: { "terminal.integrated.fontSize": 13 } }