2023-01-19 18:14:43 +08:00
|
|
|
{
|
2023-01-28 15:11:37 +08:00
|
|
|
|
2023-01-19 19:11:37 +08:00
|
|
|
"snippets.ultisnips.pythonPrompt": false,
|
2023-01-22 17:20:38 +08:00
|
|
|
"explorer.icon.enableNerdfont": true,
|
2023-01-28 15:11:37 +08:00
|
|
|
"explorer.toggle": true
|
2023-01-19 18:14:43 +08:00
|
|
|
}
|
