fix some bugs

wzy

2020-12-14 b6471f2d1a2753e0a44aae480ffe733207c79c6a

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