Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Tweak multibuffer header padding (#18011)

Browse source
This commit is contained in:
Danilo Leal 2024-09-18 17:18:56 +02:00 • committed by GitHub
parent 373a17acf4
commit a7977aa64d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/editor/src/element.rs
View file

@ -2079,13 +2079,13 @@ impl EditorElement {
.id(("path excerpt header", EntityId::from(block_id))) .id(("path excerpt header", EntityId::from(block_id)))
.w_full() .w_full()
.px(header_padding) .px(header_padding)
.pt(header_padding)
.child( .child(
h_flex() h_flex()
.flex_basis(Length::Definite(DefiniteLength::Fraction(0.667))) .flex_basis(Length::Definite(DefiniteLength::Fraction(0.667)))
.id("path header block") .id("path header block")
.h(2. * cx.line_height()) .h(2. * cx.line_height())
.pl(gpui::px(12.)) .px(gpui::px(12.))
.pr(gpui::px(8.))
.rounded_md() .rounded_md()
.shadow_md() .shadow_md()
.border_1() .border_1()