From ef2d615e7ce45d649454bf9701fc6aa49a4321b3 Mon Sep 17 00:00:00 2001 From: Sven Heidemann Date: Thu, 28 Oct 2021 19:05:13 +0200 Subject: [PATCH] Removed code workspace --- workspace.code-workspace | 37 ------------------------------------- 1 file changed, 37 deletions(-) delete mode 100644 workspace.code-workspace diff --git a/workspace.code-workspace b/workspace.code-workspace deleted file mode 100644 index 0176a15..0000000 --- a/workspace.code-workspace +++ /dev/null @@ -1,37 +0,0 @@ -{ - "folders": [ - { - "name": "sh_cclang", - "path": "." - }, - { - "name": "cc preview", - "path": "./cc_code_preview" - } - ], - "settings": { - "workbench.colorCustomizations": { - "activityBar.activeBackground": "#93e6fc", - "activityBar.activeBorder": "#fa45d4", - "activityBar.background": "#93e6fc", - "activityBar.foreground": "#15202b", - "activityBar.inactiveForeground": "#15202b99", - "activityBarBadge.background": "#fa45d4", - "activityBarBadge.foreground": "#15202b", - "editorGroup.border": "#93e6fc", - "panel.border": "#93e6fc", - "sash.hoverBorder": "#93e6fc", - "sideBar.border": "#93e6fc", - "statusBar.background": "#61dafb", - "statusBar.foreground": "#15202b", - "statusBarItem.hoverBackground": "#2fcefa", - "statusBarItem.remoteBackground": "#61dafb", - "statusBarItem.remoteForeground": "#15202b", - "titleBar.activeBackground": "#61dafb", - "titleBar.activeForeground": "#15202b", - "titleBar.inactiveBackground": "#61dafb99", - "titleBar.inactiveForeground": "#15202b99" - }, - "peacock.color": "#61dafb" - } -} \ No newline at end of file