Reduce default size of checkbox to 15.0

This commit is contained in:
Héctor Ramón Jiménez 2024-03-05 22:03:10 +01:00
parent 7d84c9c9c3
commit 87d16a090b
No known key found for this signature in database
GPG key ID: 7CC46565708259A7
3 changed files with 6 additions and 5 deletions

View file

@ -355,6 +355,7 @@ impl Task {
let checkbox = checkbox(&self.description, self.completed) let checkbox = checkbox(&self.description, self.completed)
.on_toggle(TaskMessage::Completed) .on_toggle(TaskMessage::Completed)
.width(Length::Fill) .width(Length::Fill)
.size(17)
.text_shaping(text::Shaping::Advanced); .text_shaping(text::Shaping::Advanced);
row![ row![

View file

@ -62,7 +62,7 @@ where
Theme: Style, Theme: Style,
{ {
/// The default size of a [`Checkbox`]. /// The default size of a [`Checkbox`].
const DEFAULT_SIZE: f32 = 20.0; const DEFAULT_SIZE: f32 = 15.0;
/// The default spacing of a [`Checkbox`]. /// The default spacing of a [`Checkbox`].
const DEFAULT_SPACING: f32 = 10.0; const DEFAULT_SPACING: f32 = 10.0;
@ -91,7 +91,7 @@ where
line_height: text::LineHeight::default(), line_height: text::LineHeight::default(),
shaping: text::Shaping::Basic, shaping: text::Shaping::Basic,
}, },
style: Theme::default(), style: Theme::style(),
} }
} }
@ -426,11 +426,11 @@ pub struct Appearance {
/// A set of rules that dictate the style of a checkbox. /// A set of rules that dictate the style of a checkbox.
pub trait Style { pub trait Style {
/// The supported style of the [`StyleSheet`]. /// The supported style of the [`StyleSheet`].
fn default() -> fn(&Self, Status) -> Appearance; fn style() -> fn(&Self, Status) -> Appearance;
} }
impl Style for Theme { impl Style for Theme {
fn default() -> fn(&Self, Status) -> Appearance { fn style() -> fn(&Self, Status) -> Appearance {
primary primary
} }
} }

View file

@ -91,7 +91,7 @@ where
Renderer: text::Renderer, Renderer: text::Renderer,
{ {
/// The default size of a [`Radio`] button. /// The default size of a [`Radio`] button.
pub const DEFAULT_SIZE: f32 = 14.0; pub const DEFAULT_SIZE: f32 = 15.0;
/// The default spacing of a [`Radio`] button. /// The default spacing of a [`Radio`] button.
pub const DEFAULT_SPACING: f32 = 10.0; pub const DEFAULT_SPACING: f32 = 10.0;