处理连接失败异常

zhangjian

2023-08-19 3940ebf3e39da287974c4f49474e668d33fed2df

1
2
3
4
5
6
7
8
9
10
11
{
  "spellright.language": [
    "en"
  ],
  "spellright.documentTypes": [
    "markdown",
    "latex",
    "plaintext",
    "javascript"
  ]
}