diff options
author | Tyler James Leonhardt <me@tylerleonhardt.com> | 2022-07-29 00:27:45 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-29 00:27:45 +0300 |
commit | 743b016722db90df977feecde0a4b3b4f58c2a4c (patch) | |
tree | 09079efe3878e832c43c0dc55b0b82c809a34e0f /src | |
parent | 6f5460671dd5b8de073f7a72b5a7361212d9cce8 (diff) |
Have padding on qp list not the whole widget (#156624)
Diffstat (limited to 'src')
-rw-r--r-- | src/vs/base/parts/quickinput/browser/media/quickInput.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/vs/base/parts/quickinput/browser/media/quickInput.css b/src/vs/base/parts/quickinput/browser/media/quickInput.css index efab21e77bf..e3357d75fe8 100644 --- a/src/vs/base/parts/quickinput/browser/media/quickInput.css +++ b/src/vs/base/parts/quickinput/browser/media/quickInput.css @@ -7,7 +7,6 @@ position: absolute; width: 600px; z-index: 2550; - padding: 0 1px 1px 1px; left: 50%; margin-left: -300px; -webkit-app-region: no-drag; @@ -151,6 +150,7 @@ .quick-input-list { line-height: 22px; margin-top: 6px; + padding: 0px 1px 1px 1px; } .quick-input-widget.hidden-input .quick-input-list { |