From 2d25399eacffc467a93028a6eb2544f8820c828b Mon Sep 17 00:00:00 2001 From: Miguel Solorio Date: Wed, 20 May 2020 13:56:43 -0700 Subject: [PATCH] Fix #98270 --- .../contrib/preferences/browser/media/settingsEditor2.css | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/vs/workbench/contrib/preferences/browser/media/settingsEditor2.css b/src/vs/workbench/contrib/preferences/browser/media/settingsEditor2.css index 4737cac2110..f12c473cc9f 100644 --- a/src/vs/workbench/contrib/preferences/browser/media/settingsEditor2.css +++ b/src/vs/workbench/contrib/preferences/browser/media/settingsEditor2.css @@ -45,6 +45,10 @@ top: 6px; } +.settings-editor > .settings-header > .search-container > .settings-count-widget:empty { + visibility: hidden; +} + .settings-editor > .settings-header > .search-container > .settings-clear-widget { margin: 6px 0px; padding: 0px 8px;