modify config file

wzy

2020-12-08 ae33407b1fa6cebe19da34bb86d078f12c4b0def

1
2
3
4
5
{
    "editor.fontSize": 14,
    "files.autoSave": "afterDelay",
    "editor.cursorStyle": "line-thin"
}