Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/microsoft/vscode.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRaymond Zhao <7199958+rzhao271@users.noreply.github.com>2022-06-09 02:02:26 +0300
committerGitHub <noreply@github.com>2022-06-09 02:02:26 +0300
commit0f1679624b0ae9e7ae707ce230aa72cc512320e9 (patch)
treecf70ce0489b035893d7eeddd7bb00bf4983d9da6
parent7bbfca331c71506e77f0507b296f781b6bfad27e (diff)
Adjust padding and outline of Settings editor scope widget tabs (#151567)
Fixes #146491
-rw-r--r--src/vs/workbench/contrib/preferences/browser/media/settingsEditor2.css10
1 files changed, 9 insertions, 1 deletions
diff --git a/src/vs/workbench/contrib/preferences/browser/media/settingsEditor2.css b/src/vs/workbench/contrib/preferences/browser/media/settingsEditor2.css
index 7b4684b2961..20f1af21202 100644
--- a/src/vs/workbench/contrib/preferences/browser/media/settingsEditor2.css
+++ b/src/vs/workbench/contrib/preferences/browser/media/settingsEditor2.css
@@ -109,15 +109,23 @@
/* padding must be on action-label because it has the bottom-border, because that's where the .checked class is */
}
+.settings-editor > .settings-header > .settings-header-controls .settings-tabs-widget > .monaco-action-bar .action-item.focused {
+ outline-offset: -1.5px;
+}
+
.settings-editor > .settings-header > .settings-header-controls .settings-tabs-widget > .monaco-action-bar .action-item .action-label {
text-transform: none;
font-size: 13px;
- padding-bottom: 7px;
+ padding-bottom: 6.5px;
padding-top: 7px;
padding-left: 8px;
padding-right: 8px;
}
+.settings-editor > .settings-header > .settings-header-controls .settings-tabs-widget > .monaco-action-bar .action-item .action-label .dropdown-icon {
+ padding-top: 2px;
+}
+
.settings-editor > .settings-header > .settings-header-controls .settings-tabs-widget > .monaco-action-bar .action-item .action-label:not(.checked):not(:focus) {
/* Add an extra pixel due to it not getting the outline */
padding-bottom: 8px;