From 07d89abf1522a67f0e8105770505077f454ab021 Mon Sep 17 00:00:00 2001 From: Rob Lourens Date: Wed, 27 Jun 2018 21:52:23 -0700 Subject: [PATCH] Tweak settings editor sizing for #53111 --- .../parts/preferences/browser/media/settingsEditor2.css | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/vs/workbench/parts/preferences/browser/media/settingsEditor2.css b/src/vs/workbench/parts/preferences/browser/media/settingsEditor2.css index e964523981f1e..94b63615fc583 100644 --- a/src/vs/workbench/parts/preferences/browser/media/settingsEditor2.css +++ b/src/vs/workbench/parts/preferences/browser/media/settingsEditor2.css @@ -5,7 +5,7 @@ .settings-editor { padding-top: 11px; - max-width: 1000px; + max-width: 1100px; margin: auto; } @@ -101,7 +101,8 @@ .settings-editor > .settings-body { display: flex; margin: auto; - max-width: 1000px; + max-width: 1100px; + justify-content: space-between; } .settings-editor > .settings-body .settings-tree-container .monaco-tree::before { @@ -138,6 +139,7 @@ .settings-editor > .settings-body .settings-tree-container { flex: 1; + max-width: 875px; margin-right: 1px; /* So the item doesn't blend into the edge of the view container */ border-spacing: 0; border-collapse: separate;