2025-05-05 21:46:16 +00:00
|
|
|
{
|
2025-05-08 15:50:06 +00:00
|
|
|
"git.closeDiffOnOperation": true,
|
|
|
|
|
"files.associations": {
|
|
|
|
|
"*.latex": "latex"
|
2025-05-09 01:38:09 +00:00
|
|
|
},
|
|
|
|
|
"todo-tree.highlights.useColourScheme": true,
|
|
|
|
|
"todo-tree.general.tags": [
|
|
|
|
|
"BUG",
|
|
|
|
|
"HACK",
|
|
|
|
|
"FIXME",
|
|
|
|
|
"TODO",
|
|
|
|
|
"%BOOKMARK",
|
|
|
|
|
"[ ]",
|
|
|
|
|
"[x]"
|
|
|
|
|
]
|
2025-05-05 21:46:16 +00:00
|
|
|
}
|
