摘要: 打开设置之后,目标是一个settings.json文件,在"profiles" -> "defaults" 下面,做出以下修改: "defaults": { // Put settings here that you want to apply to all profiles. "fontFace" 阅读全文
posted @ 2021-02-23 15:55 佳人在湄 阅读(823) 评论(0) 推荐(0)