paul-loedige
12 lines
375 B
JSON
12 lines
375 B
JSON
{
|
|
"git.addedSign.hlGroup": "GitGutterAdd",
|
|
"git.changedSign.hlGroup": "GitGutterChange",
|
|
"git.removedSign.hlGroup": "GitGutterDelete",
|
|
"git.topRemovedSign.hlGroup": "GitGutterDelete",
|
|
"git.changeRemovedSign.hlGroup": "GitGutterChangeDelete",
|
|
"snippets.extends":{
|
|
"latex":["tex","texmath"]
|
|
},
|
|
"snippets.ultisnips.pythonPrompt": false
|
|
}
|