fix: settings toolbar lacks margin-right (microsoft#253716)

rzhao271 · web-flow · commit bcf133c1a7ee · 2025-07-04T00:09:36.000Z
diff --git a/src/vs/workbench/contrib/preferences/browser/media/settingsEditor2.css b/src/vs/workbench/contrib/preferences/browser/media/settingsEditor2.css
@@ -40,13 +40,13 @@
 
 .settings-editor > .settings-header > .search-container > .settings-count-widget {
 	position: absolute;
-	right: 48px;
+	right: 49px;
 	top: 0px;
 	margin: 2.5px 0px;
 }
 
 .settings-editor > .settings-header > .search-container.with-ai-toggle > .settings-count-widget {
-	right: 69px;
+	right: 70px;
 }
 
 .settings-editor > .settings-header > .search-container > .settings-count-widget:empty {
@@ -60,6 +60,7 @@
 	top: 0;
 	right: 0;
 	height: 100%;
+	margin-right: 1px;
 }
 
 .settings-editor > .settings-header > .search-container > .settings-clear-widget .action-label {

Original file line number	Diff line number	Diff line change
`@@ -40,13 +40,13 @@`
`40`	`40`
`41`	`41`	`.settings-editor > .settings-header > .search-container > .settings-count-widget {`
`42`	`42`	`position: absolute;`
`43`		`- right: 48px;`
	`43`	`+ right: 49px;`
`44`	`44`	`top: 0px;`
`45`	`45`	`margin: 2.5px 0px;`
`46`	`46`	`}`
`47`	`47`
`48`	`48`	`.settings-editor > .settings-header > .search-container.with-ai-toggle > .settings-count-widget {`
`49`		`- right: 69px;`
	`49`	`+ right: 70px;`
`50`	`50`	`}`
`51`	`51`
`52`	`52`	`.settings-editor > .settings-header > .search-container > .settings-count-widget:empty {`
`@@ -60,6 +60,7 @@`
`60`	`60`	`top: 0;`
`61`	`61`	`right: 0;`
`62`	`62`	`height: 100%;`
	`63`	`+ margin-right: 1px;`
`63`	`64`	`}`
`64`	`65`
`65`	`66`	`.settings-editor > .settings-header > .search-container > .settings-clear-widget .action-label {`