ui.gadgets.buttons: minor change

2008-07-13 16:27:11 -05:00 · 2008-07-13 16:27:11 -05:00 · 16fbd3c3a6
parent c1e9268a45
commit 16fbd3c3a6
1 changed files with 7 additions and 6 deletions
--- a/extra/ui/gadgets/buttons/buttons.factor
+++ b/extra/ui/gadgets/buttons/buttons.factor
@ -7,6 +7,7 @@ ui.commands ui.gadgets ui.gadgets.borders
       ui.gadgets.labels ui.gadgets.theme
       ui.gadgets.tracks ui.gadgets.packs ui.gadgets.worlds ui.gestures
       ui.render math.geometry.rect ;
+
 IN: ui.gadgets.buttons

 TUPLE: button < border pressed? selected? quot ;