Settings editor - tweak padding

roblourens · roblourens · commit b9d441f76b34 · 2018-07-12T22:04:57.000-07:00
diff --git a/src/vs/workbench/parts/preferences/browser/media/settingsEditor2.css b/src/vs/workbench/parts/preferences/browser/media/settingsEditor2.css
@@ -9,15 +9,15 @@
 
 .settings-editor {
 	padding-top: 11px;
-	padding-left: 2px;
+	padding-left: 5px;
 	max-width: 1100px;
 	margin: auto;
 }
 
 /* header styling */
 .settings-editor > .settings-header {
-	padding-left: 5px;
-	padding-right: 5px;
+	padding-left: 17px;
+	padding-right: 11px;
 	box-sizing: border-box;
 	margin: auto;
 }
@@ -72,7 +72,7 @@
 }
 
 .settings-editor > .settings-header > .settings-header-controls {
-	margin-top: 3px;
+	margin-top: 8px;
 	height: 30px;
 	display: flex;
 }
@@ -114,6 +114,13 @@
 	outline: none !important;
 }
 
+.settings-editor > .settings-body .settings-tree-container .monaco-tree-wrapper,
+.settings-editor > .settings-body > .settings-tree-container .setting-measure-container {
+	/** Allocate space for the scrollbar */
+	width: calc(100% - 11px)
+}
+
+
 .settings-editor > .settings-body .settings-toc-container {
 	width: 175px;
 	margin-right: 5px;
@@ -155,8 +162,8 @@
 }
 
 .settings-editor > .settings-body > .settings-tree-container .setting-item {
-	padding-top: 9px;
-	padding-bottom: 13px;
+	padding-top: 11px;
+	padding-bottom: 15px;
 	box-sizing: border-box;
 	cursor: default;
 	white-space: normal;
diff --git a/src/vs/workbench/parts/preferences/browser/settingsTree.ts b/src/vs/workbench/parts/preferences/browser/settingsTree.ts
@@ -474,8 +474,8 @@ export interface ISettingChangeEvent {
 
 export class SettingsRenderer implements IRenderer {
 
-	private static readonly SETTING_ROW_HEIGHT = 94;
-	private static readonly SETTING_BOOL_ROW_HEIGHT = 61;
+	private static readonly SETTING_ROW_HEIGHT = 98;
+	private static readonly SETTING_BOOL_ROW_HEIGHT = 65;
 
 	private readonly _onDidChangeSetting: Emitter<ISettingChangeEvent> = new Emitter<ISettingChangeEvent>();
 	public readonly onDidChangeSetting: Event<ISettingChangeEvent> = this._onDidChangeSetting.event;
