Merge pull request microsoft#196724 from gjsjohnmurray/azure-bobcat

sandy081 · web-flow · commit 2b0bb4a46dc2 · 2023-10-27T09:54:47.000+02:00
Upsize progress badge on top activity bar to match microsoft#196696 change
diff --git a/src/vs/workbench/browser/parts/media/paneCompositePart.css b/src/vs/workbench/browser/parts/media/paneCompositePart.css
@@ -185,9 +185,10 @@
 }
 
 .monaco-workbench .pane-composite-part > .title > .composite-bar-container > .composite-bar > .monaco-action-bar .action-item.icon .badge.compact.progress-badge .badge-content::before {
-	mask-size: 12px;
-	-webkit-mask-size: 12px;
-	top: 2px;
+	mask-size: 11px;
+	-webkit-mask-size: 11px;
+	top: 3px;
+	left: 1px;
 }
 
 /* active item indicator */

Original file line number	Diff line number	Diff line change
`@@ -185,9 +185,10 @@`
`185`	`185`	`}`
`186`	`186`
`187`	`187`	`.monaco-workbench .pane-composite-part > .title > .composite-bar-container > .composite-bar > .monaco-action-bar .action-item.icon .badge.compact.progress-badge .badge-content::before {`
`188`		`- mask-size: 12px;`
`189`		`- -webkit-mask-size: 12px;`
`190`		`- top: 2px;`
	`188`	`+ mask-size: 11px;`
	`189`	`+ -webkit-mask-size: 11px;`
	`190`	`+ top: 3px;`
	`191`	`+ left: 1px;`
`191`	`192`	`}`
`192`	`193`
`193`	`194`	`/* active item indicator */`