latex options for vscode

This commit is contained in:
Leon Vatthauer 2024-03-10 10:03:10 +01:00
parent 7439485194
commit dbd7388a4e
Signed by: leonv
SSH key fingerprint: SHA256:G4+ddwoZmhLPRB1agvXzZMXIzkVJ36dUYZXf5NxT+u8

View file

@ -26,6 +26,18 @@
version = "0.0.3"; version = "0.0.3";
sha256 = "sha256-DITgLedaO0Ifrttu+ZXkiaVA7Ua5RXc4jXQHPYLqrcM="; sha256 = "sha256-DITgLedaO0Ifrttu+ZXkiaVA7Ua5RXc4jXQHPYLqrcM=";
} }
{
name = "simple-alignment";
publisher = "earshinov";
version = "1.0.1";
sha256 = "sha256-Lqg5wVGj6VulEJHVv7CS6aci7Ze2KEqXMu10vlrYYao=";
}
{
name = "todo-tree";
publisher = "Gruntfuggly";
version = "0.0.226";
sha256 = "sha256-Fj9cw+VJ2jkTGUclB1TLvURhzQsaryFQs/+f2RZOLHs=";
}
]; ];
userSettings = { userSettings = {
"agdaMode.connection.agdaLanguageServer" = false; "agdaMode.connection.agdaLanguageServer" = false;
@ -73,6 +85,22 @@
"editor.autoClosingOvertype" = "never"; "editor.autoClosingOvertype" = "never";
"editor.autoClosingBrackets" = "never"; "editor.autoClosingBrackets" = "never";
"editor.accessibilitySupport" = "off"; "editor.accessibilitySupport" = "off";
# for latex
"todo-tree.regex.regex" = "((//|#|<!--|;|/\\*|^|%|\\\\)\\s*($TAGS)\\{*|^\\s*- \\[ \\])";
"todo-tree.regex.regexCaseSensitive" = false;
"latex-workshop.linting.chktex.enabled" = true;
"editor.formatOnSave" = true;
"latex-workshop.linting.chktex.exec.args" = [
"-wall"
"-n21"
"-n22"
"-n30"
"-e16"
"-q"
];
"latex-workshop.latex.autoClean.run" = "onBuilt";
"latex-workshop.latex.clean.subfolder.enabled" = true;
}; };
keybindings = [ keybindings = [
{ {