mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-12 13:24:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8

Align Picker editor with entries (#3765)

Browse source 
This PR re-aligns the `Picker` editor with the entries after the changes
in #3764.

Release Notes:

- N/A
This commit is contained in:
Marshall Bowers 2023-12-21 17:03:57 -05:00 committed by GitHub
parent be08a0b2fd
commit e2c36633ea
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
crates/picker2/src/picker2.rs
View file

@ -226,7 +226,7 @@ impl<D: PickerDelegate> Render for Picker<D> {
.overflow_hidden() .overflow_hidden()
.flex_none() .flex_none()
.h_9() .h_9()
.px_3() .px_4()
.child(self.editor.clone()); .child(self.editor.clone());
div() div()