2023-01-19 18:14:43 +08:00
|
|
|
{
|
2023-01-19 19:11:37 +08:00
|
|
|
"snippets.ultisnips.pythonPrompt": false,
|
2023-01-19 20:33:35 +08:00
|
|
|
"coc.preferences.extensionUpdateCheck": "daily",
|
|
|
|
|
"explorer.toggle": true,
|
|
|
|
|
"explorer.icon.enableNerdfont": true
|
2023-01-19 18:14:43 +08:00
|
|
|
}
|
