diff options
author | João Moreno <joao.moreno@microsoft.com> | 2022-07-28 17:19:32 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-28 17:19:32 +0300 |
commit | 3bf342b7c4d0cf504c78fe2731259b41af17c90a (patch) | |
tree | 45a2083ede1423de61d233fc0fe026b200a2c512 /src | |
parent | cb7a75ea2d379ed103314ecd5887edddf4f08efb (diff) |
Adjust tree find widget padding (#156577)
fixes #156244
Diffstat (limited to 'src')
-rw-r--r-- | src/vs/base/browser/ui/tree/media/tree.css | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/vs/base/browser/ui/tree/media/tree.css b/src/vs/base/browser/ui/tree/media/tree.css index f6dceb39e95..7f740a6ee1a 100644 --- a/src/vs/base/browser/ui/tree/media/tree.css +++ b/src/vs/base/browser/ui/tree/media/tree.css @@ -87,6 +87,7 @@ align-items: center; justify-content: center; cursor: grab; + margin-right: 2px; } .monaco-tree-type-filter-grab.grabbing { @@ -98,12 +99,16 @@ } .monaco-tree-type-filter-input .monaco-inputbox { - height: 26px; + height: 23px; } .monaco-tree-type-filter-input .monaco-inputbox > .ibwrapper > .input, .monaco-tree-type-filter-input .monaco-inputbox > .ibwrapper > .mirror { - padding: 2px; + padding: 2px 4px; +} + +.monaco-tree-type-filter-input .monaco-findInput > .controls { + top: 2px; } .monaco-tree-type-filter-actionbar { |