Multi-select picker: Add left/right padding to OK button (fixes microsoft#46652)

chrmarti · chrmarti · commit 73ddb7b7cd59 · 2018-03-28T12:12:11.000+02:00
diff --git a/src/vs/workbench/browser/parts/quickinput/quickInput.css b/src/vs/workbench/browser/parts/quickinput/quickInput.css
@@ -46,7 +46,7 @@
 .quick-input-action {
 	margin-left: 6px;
 	border: 0;
-	padding: 0px 4px 1px 4px;
+	padding: 6px;
 }
 
 .quick-input-action:focus {
