From 9b83ab7cddaa28e129707727a1064d9c4d279ef3 Mon Sep 17 00:00:00 2001 From: Tomer Epstein Date: Thu, 9 Jan 2020 15:55:44 +0200 Subject: [PATCH] --vscode-editorWidget-background, #252526 --- frontend/src/App.vue | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontend/src/App.vue b/frontend/src/App.vue index cf44774b..3a504053 100644 --- a/frontend/src/App.vue +++ b/frontend/src/App.vue @@ -427,7 +427,7 @@ div.consoleClassVisible .v-footer { padding: 0 !important; } .bottom-right-col { - background: var(--vscode-titleBar-activeBackground, #383838); + background: var(--vscode-editorWidget-background, #252526); position: relative; overflow: hidden; }