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-02-05 04:14:55 +08:00
|
|
|
"explorer.toggle": true,
|
|
|
|
|
"outline.autoWidth": true,
|
2023-02-08 17:24:53 +08:00
|
|
|
"outline.autoPreview": true
|
|
|
|
|
// "outline.togglePreviewKey": "p"
|
2023-01-19 18:14:43 +08:00
|
|
|
}
|
