make DEFAULT_PADDING public

This commit is contained in:
JL710 2025-03-25 17:05:05 +01:00 committed by GitHub
parent 4b075b9731
commit 26642b8724
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

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