From 72eb048b7325d8b20990c2c566c0495ac7880a7c Mon Sep 17 00:00:00 2001
From: Tobias Schmidl <tobias@schmidl.dev>
Date: Thu, 26 Oct 2023 11:08:31 +0200
Subject: [PATCH] VSCodium: updated settings.json

---
 .config/VSCodium/User/settings.json | 42 +++++++++++++++++------------
 1 file changed, 25 insertions(+), 17 deletions(-)

diff --git a/.config/VSCodium/User/settings.json b/.config/VSCodium/User/settings.json
index 47cf460..e0ff7b1 100644
--- a/.config/VSCodium/User/settings.json
+++ b/.config/VSCodium/User/settings.json
@@ -1,23 +1,31 @@
 {
-    "editor.fontFamily": "Hack,'Droid Sans Mono', 'monospace', monospace",
-    "editor.fontSize": 12,
     "chat.editor.fontSize": 12,
+    "cmake.configureOnOpen": true,
+    "debug.console.fontSize": 12,
     "diffEditor.codeLens": true,
     "diffEditor.experimental.showMoves": true,
+    "diffEditor.maxComputationTime": 30000,
+    "editor.fontFamily": "Hack,'Droid Sans Mono', 'monospace', monospace",
+    "editor.fontSize": 12,
+    "editor.renderWhitespace": "all",
+    "files.autoSave": "afterDelay",
+    "files.autoSaveDelay": 5000,
+    "files.trimFinalNewlines": true,
+    "files.trimTrailingWhitespace": true,
+    "git.autofetch": "all",
+    "gitlens.telemetry.enabled": false,
+    "http.proxyStrictSSL": false,
+    "markdown.extension.toc.levels": "2..6",
+    "markdown.extension.toc.unorderedList.marker": "*",
+    "python.testing.pytestEnabled": true,
+    "python.testing.unittestEnabled": true,
+    "security.workspace.trust.untrustedFiles": "open",
+    "terminal.integrated.enableBell": true,
+    "terminal.integrated.fontSize": 12,
+    "window.autoDetectColorScheme": true,
+    "window.menuBarVisibility": "compact",
+    "window.titleBarStyle": "custom",
+    "workbench.colorTheme": "Solarized Dark",
     "workbench.preferredDarkColorTheme": "Solarized Dark",
     "workbench.preferredLightColorTheme": "Solarized Light",
-    "git.autofetch": "all",
-    "terminal.integrated.enableBell": true,
-    "debug.console.fontSize": 12,
-    "terminal.integrated.fontSize": 12,
-    "files.trimTrailingWhitespace": true,
-    "files.trimFinalNewlines": true,
-    "window.autoDetectColorScheme": true,
-    "workbench.colorTheme": "Solarized Dark",
-    "gitlens.telemetry.enabled": false,
-    "cmake.configureOnOpen": true,
-    "files.autoSave": "afterDelay",
-    "editor.renderWhitespace": "all",
-    "window.titleBarStyle": "custom",
-    "window.menuBarVisibility": "toggle"
-}
\ No newline at end of file
+}