2023-01-19 18:14:43 +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-02-05 04:14:55 +08:00
|
|
|
"explorer.toggle": true,
|
|
|
|
|
"outline.autoWidth": true,
|
2023-03-19 15:41:15 +08:00
|
|
|
"outline.autoPreview": true,
|
|
|
|
|
"data.home": "~",
|
2023-01-19 18:14:43 +08:00
|
|
|
}
|
