From ef25dfb7331c7ab5446e9b771c9bca8aff231957 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?H=C3=A9ctor=20Ram=C3=B3n=20Jim=C3=A9nez?= Date: Wed, 5 Feb 2025 02:01:41 +0100 Subject: [PATCH] Use `code_size` instead of `spacing` for `code_block` metrics --- widget/src/markdown.rs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/widget/src/markdown.rs b/widget/src/markdown.rs index 7ae89368d0..b69c663e7c 100644 --- a/widget/src/markdown.rs +++ b/widget/src/markdown.rs @@ -1197,16 +1197,16 @@ where .size(settings.code_size) .into() }))) - .padding(settings.spacing.0 / 2.0), + .padding(settings.code_size), ) .direction(scrollable::Direction::Horizontal( scrollable::Scrollbar::default() - .width(settings.spacing.0 / 2.0) - .scroller_width(settings.spacing.0 / 2.0), + .width(settings.code_size / 2) + .scroller_width(settings.code_size / 2), )), ) .width(Length::Fill) - .padding(settings.spacing.0 / 2.0) + .padding(settings.code_size / 4) .class(Theme::code_block()) .into() }