From 7e0674bf03ee07bbe3dce874ecc54810e98074e0 Mon Sep 17 00:00:00 2001 From: Joe Groff <arcata@gmail.com> Date: Sun, 27 Jan 2008 22:17:11 -0800 Subject: [PATCH] 64 characters per line or death!!!! --- extra/ui/ui.factor | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/extra/ui/ui.factor b/extra/ui/ui.factor index 8fc7247257..0baa4df65b 100755 --- a/extra/ui/ui.factor +++ b/extra/ui/ui.factor @@ -120,7 +120,9 @@ SYMBOL: ui-hook [ dup update-hand draw-world ] each ; : notify ( gadget -- ) - dup gadget-graft-state dup first { f f } { t t } ? pick set-gadget-graft-state { + dup gadget-graft-state + dup first { f f } { t t } ? + pick set-gadget-graft-state { { { f t } [ dup activate-control graft* ] } { { t f } [ dup activate-control ungraft* ] } } case ;