diff --git a/home-profiles/vscode/.config/Code/User/settings.json b/home-profiles/vscode/.config/Code/User/settings.json index ba8e6dedc2f59d6873b44b273e58c14813de472c..f7f177da66769af6b5672fbd55cc69602f51dd30 100644 --- a/home-profiles/vscode/.config/Code/User/settings.json +++ b/home-profiles/vscode/.config/Code/User/settings.json @@ -13,13 +13,15 @@ "window.menuBarVisibility": "toggle", "explorer.confirmDelete": false, "files.enableTrash": false, - "vsicons.dontShowNewVersionMessage": true, "breadcrumbs.enabled": true, "zenMode.centerLayout": false, "zenMode.hideLineNumbers": false, "files.trimTrailingWhitespace": true, + "files.trimFinalNewlines": true, + "files.insertFinalNewline": true, + // colors "editor.tokenColorCustomizations": { "[Monokai Dimmed]": { @@ -48,13 +50,15 @@ "editor.smoothScrolling": true, "editor.cursorSmoothCaretAnimation": true, "editor.cursorSurroundingLines": 2, - "editor.fontSize": 14, + "editor.fontSize": 12, "editor.fontFamily": "Fira Code Light", "editor.fontLigatures": true, "editor.tabSize": 2, "search.smartCase": true, + "languageServerHaskell.formattingProvider": "ormolu", + "latex-workshop.latex.autoBuild.run": "never", "latex-workshop.view.pdf.viewer": "browser", "latex-workshop.chktex.enabled": true,