From acb5d2f2c2f367a0489b23fa064545e52144826f Mon Sep 17 00:00:00 2001 From: Rob Lourens Date: Fri, 4 Jan 2019 10:22:26 -0800 Subject: [PATCH] Remove dead css --- .../preferences/browser/media/preferences.css | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/src/vs/workbench/parts/preferences/browser/media/preferences.css b/src/vs/workbench/parts/preferences/browser/media/preferences.css index 791b1005551..9876f325757 100644 --- a/src/vs/workbench/parts/preferences/browser/media/preferences.css +++ b/src/vs/workbench/parts/preferences/browser/media/preferences.css @@ -118,21 +118,6 @@ display: none; } -.settings-header-widget > .settings-search-controls > .prefs-natural-language-search-toggle { - margin: 5px 3px 5px 0px; -} - -.settings-header-widget > .settings-search-controls > .prefs-natural-language-search-toggle.hidden { - display: none; -} - -.settings-header-widget > .settings-search-controls > .prefs-natural-language-search-toggle > .octicon { - text-align: center; - vertical-align: top; - font-size: 16px; - width: 100%; -} - .settings-header-widget > .settings-search-container { flex: 1; } -- GitLab