Use code_size instead of spacing for code_block metrics
This commit is contained in:
parent
c7711e59ab
commit
ef25dfb733
1 changed files with 4 additions and 4 deletions
|
|
@ -1197,16 +1197,16 @@ where
|
||||||
.size(settings.code_size)
|
.size(settings.code_size)
|
||||||
.into()
|
.into()
|
||||||
})))
|
})))
|
||||||
.padding(settings.spacing.0 / 2.0),
|
.padding(settings.code_size),
|
||||||
)
|
)
|
||||||
.direction(scrollable::Direction::Horizontal(
|
.direction(scrollable::Direction::Horizontal(
|
||||||
scrollable::Scrollbar::default()
|
scrollable::Scrollbar::default()
|
||||||
.width(settings.spacing.0 / 2.0)
|
.width(settings.code_size / 2)
|
||||||
.scroller_width(settings.spacing.0 / 2.0),
|
.scroller_width(settings.code_size / 2),
|
||||||
)),
|
)),
|
||||||
)
|
)
|
||||||
.width(Length::Fill)
|
.width(Length::Fill)
|
||||||
.padding(settings.spacing.0 / 2.0)
|
.padding(settings.code_size / 4)
|
||||||
.class(Theme::code_block())
|
.class(Theme::code_block())
|
||||||
.into()
|
.into()
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue