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-01-22 22:20:39 +08:00
|
|
|
"explorer.toggle": true,
|
|
|
|
|
"markdown-preview-enhanced.previewTheme":"github-dark.css",
|
|
|
|
|
"markdown-preview-enhanced.latexEngine": "pdflatex"
|
2023-01-19 18:14:43 +08:00
|
|
|
}
|
