fix: tweak count widget layout (microsoft#251232)

rzhao271 · web-flow · commit 5a79cf41b9f5 · 2025-06-11T12:35:59.000-07:00
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: 46px;
+	right: 48px;
 	top: 0px;
-	margin: 4px 0px;
+	margin: 2.5px 0px;
 }
 
 .settings-editor > .settings-header > .search-container.with-ai-toggle > .settings-count-widget {
-	right: 65px;
+	right: 69px;
 }
 
 .settings-editor > .settings-header > .search-container > .settings-count-widget:empty {

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: 46px;`
	`43`	`+ right: 48px;`
`44`	`44`	`top: 0px;`
`45`		`- margin: 4px 0px;`
	`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: 65px;`
	`49`	`+ right: 69px;`
`50`	`50`	`}`
`51`	`51`
`52`	`52`	`.settings-editor > .settings-header > .search-container > .settings-count-widget:empty {`