Cleanup some lint warnings.

[factor.git] / basis / ui / gadgets / buttons / buttons.factor

diff --git a/basis/ui/gadgets/buttons/buttons.factor b/basis/ui/gadgets/buttons/buttons.factor
index 4a68b47f15fdf14ec67bf8c2a5b6ada1a5aeafdd..44ce92ed8df302098337d5222739091db8ac728c 100644 (file)
--- a/basis/ui/gadgets/buttons/buttons.factor
+++ b/basis/ui/gadgets/buttons/buttons.factor
@@ -137,7 +137,7 @@ CONSTANT: button-clicked-background COLOR: FactorDarkSlateBlue
     dup label? [ [ clone t >>bold? ] change-font ] when drop ;
 
 : border-button-theme ( gadget -- gadget )
-    dup children>> first border-button-label-theme
+    dup gadget-child border-button-label-theme
     horizontal >>orientation
     <border-button-pen> >>interior
     dup dup interior>> pen-pref-dim >>min-dim