From e39f1db212b9c6c9fb8587f7cb76efc2750cb943 Mon Sep 17 00:00:00 2001
From: Petar Hristov <hristov@itc.rwth-aachen.de>
Date: Wed, 14 Aug 2024 11:28:20 +0000
Subject: [PATCH] Colors
---
.vscode/settings.json | 10 ++++++++++
1 file changed, 10 insertions(+)
create mode 100644 .vscode/settings.json
diff --git a/.vscode/settings.json b/.vscode/settings.json
new file mode 100644
index 0000000..44739a9
--- /dev/null
+++ b/.vscode/settings.json
@@ -0,0 +1,10 @@
+{
+ "workbench.colorCustomizations": {
+ "activityBar.background": "#416B8B",
+ "activityBar.foreground": "#F7F7F7",
+ "activityBar.inactiveForeground": "#B3C7D6",
+ "activityBar.activeBorder": "#416B8B",
+ "activityBarBadge.background": "#B3C7D6",
+ "activityBarBadge.foreground": "#416B8B"
+ },
+}
\ No newline at end of file
--
GitLab