diff --git a/common/vscode.nix b/common/vscode.nix index 3de8349..ee651c1 100755 --- a/common/vscode.nix +++ b/common/vscode.nix @@ -26,6 +26,18 @@ version = "0.0.3"; 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 = { "agdaMode.connection.agdaLanguageServer" = false; @@ -73,6 +85,22 @@ "editor.autoClosingOvertype" = "never"; "editor.autoClosingBrackets" = "never"; "editor.accessibilitySupport" = "off"; + + # for latex + "todo-tree.regex.regex" = "((//|#|