From 098a07ed59b143ec45e197d82b1c32de6f0a84ee Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Tue, 14 Jul 2015 15:29:06 -0700 Subject: [PATCH] ui.gadgets.buttons: add button quot effect. --- basis/ui/gadgets/buttons/buttons.factor | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/basis/ui/gadgets/buttons/buttons.factor b/basis/ui/gadgets/buttons/buttons.factor index 163b456d64..c768b26301 100644 --- a/basis/ui/gadgets/buttons/buttons.factor +++ b/basis/ui/gadgets/buttons/buttons.factor @@ -56,7 +56,7 @@ button H{ : new-button ( label quot class -- button ) [ swap >label ] dip new-border swap >>quot ; inline -: