// 将设置放入此文件中以覆盖默认值和用户设置。
{
    "editor.fontSize": 16,
}