leyoda/iced-yoda
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 1

Merge pull request #2858 from JL710/public-default-padding

Browse source 
Make `button::DEFAULT_PADDING` public
This commit is contained in:
Héctor 2025-11-21 05:03:25 +01:00 • committed by GitHub
commit 4fab450ba9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
widget/src/button.rs
View file

@ -459,7 +459,7 @@ where
} }
/// The default [`Padding`] of a [`Button`]. /// The default [`Padding`] of a [`Button`].
pub(crate) const DEFAULT_PADDING: Padding = Padding { pub const DEFAULT_PADDING: Padding = Padding {
top: 5.0, top: 5.0,
bottom: 5.0, bottom: 5.0,
right: 10.0, right: 10.0,