From 58aea98fdc56bc261a53caacdfb4fbddccc4a581 Mon Sep 17 00:00:00 2001 From: Miguel Solorio Date: Thu, 7 Nov 2019 10:16:53 -0800 Subject: [PATCH] Polish markers filter button --- src/vs/workbench/contrib/markers/browser/media/markers.css | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/vs/workbench/contrib/markers/browser/media/markers.css b/src/vs/workbench/contrib/markers/browser/media/markers.css index 02ba5eb27fb..963bf4a95ef 100644 --- a/src/vs/workbench/contrib/markers/browser/media/markers.css +++ b/src/vs/workbench/contrib/markers/browser/media/markers.css @@ -48,8 +48,7 @@ .markers-panel-action-filter > .markers-panel-filter-controls > .monaco-action-bar .action-label.markers-filters { line-height: 20px; height: 20px; - min-width: 28px; - margin-top: 2px; + min-width: 22px; margin-left: 4px; } -- GitLab