Upsize progress badge on top activity bar to match microsoft#196696 change

gjsjohnmurray · gjsjohnmurray · commit 624bafc28055 · 2023-10-26T15:46:36.000+01:00
diff --git a/src/vs/workbench/browser/parts/media/paneCompositePart.css b/src/vs/workbench/browser/parts/media/paneCompositePart.css
@@ -185,8 +185,8 @@
 }
 
 .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;
+	mask-size: 13px;
+	-webkit-mask-size: 13px;
 	top: 2px;
 }
 

Original file line number	Diff line number	Diff line change
`@@ -185,8 +185,8 @@`
`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;`
	`188`	`+ mask-size: 13px;`
	`189`	`+ -webkit-mask-size: 13px;`
`190`	`190`	`top: 2px;`
`191`	`191`	`}`
`192`	`192`