From 16fbd3c3a619405c8e6596a9657999e78faf8ff8 Mon Sep 17 00:00:00 2001 From: Eduardo Cavazos Date: Sun, 13 Jul 2008 16:27:11 -0500 Subject: [PATCH] ui.gadgets.buttons: minor change --- extra/ui/gadgets/buttons/buttons.factor | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/extra/ui/gadgets/buttons/buttons.factor b/extra/ui/gadgets/buttons/buttons.factor index 5cc27f47b6..4c4efec20f 100755 --- a/extra/ui/gadgets/buttons/buttons.factor +++ b/extra/ui/gadgets/buttons/buttons.factor @@ -1,12 +1,13 @@ ! Copyright (C) 2005, 2008 Slava Pestov. ! See http://factorcode.org/license.txt for BSD license. USING: accessors arrays kernel math models namespaces sequences -strings quotations assocs combinators classes colors -classes.tuple opengl math.vectors -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 ; + strings quotations assocs combinators classes colors + classes.tuple opengl math.vectors + 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 ;