From 0f1bd7721b793ed8b7805ba621061ce5a1f5c263 Mon Sep 17 00:00:00 2001 From: Rob Lourens Date: Fri, 6 Sep 2019 15:30:46 -0700 Subject: [PATCH] Fix #77222 --- .../contrib/preferences/browser/media/settingsEditor2.css | 1 + 1 file changed, 1 insertion(+) diff --git a/src/vs/workbench/contrib/preferences/browser/media/settingsEditor2.css b/src/vs/workbench/contrib/preferences/browser/media/settingsEditor2.css index faf363f6a3eaa..0bf606139f215 100644 --- a/src/vs/workbench/contrib/preferences/browser/media/settingsEditor2.css +++ b/src/vs/workbench/contrib/preferences/browser/media/settingsEditor2.css @@ -486,6 +486,7 @@ .settings-editor > .settings-body > .settings-tree-container .setting-item-new-extensions .settings-new-extensions-button { margin: auto; + margin-bottom: 15px; width: initial; padding: 4px 10px; }