ui.gadgets.buttons: Minor '<radio-buttons>' update

2008-08-07 17:16:09 -05:00 · 2008-08-07 17:16:09 -05:00 · 708e24fcb0
parent d311893363
commit 708e24fcb0
1 changed files with 1 additions and 4 deletions
--- a/extra/ui/gadgets/buttons/buttons.factor
+++ b/extra/ui/gadgets/buttons/buttons.factor
@ -199,14 +199,11 @@ M: radio-control model-changed
 : <radio-button> ( value model label -- gadget )
    <radio-knob> label-on-right radio-button-theme <radio-control> ;

-: radio-buttons-theme ( gadget -- )
-    { 5 5 } >>gap drop ;
-
 : <radio-buttons> ( model assoc -- gadget )
  <filled-pile>
    -rot
    [ <radio-button> ] <radio-controls>
-  dup radio-buttons-theme ;
+  { 5 5 } >>gap ;

 : <toggle-button> ( value model label -- gadget )
    <radio-control> bevel-button-theme ;