From 26642b87247be9563cd77e8cdaff351e70d3c7ef Mon Sep 17 00:00:00 2001
From: JL710 <76447362+JL710@users.noreply.github.com>
Date: Tue, 25 Mar 2025 17:05:05 +0100
Subject: [PATCH] make DEFAULT_PADDING public

---
 widget/src/button.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/widget/src/button.rs b/widget/src/button.rs
index d4500888..0522e6a6 100644
--- a/widget/src/button.rs
+++ b/widget/src/button.rs
@@ -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,