From b507295375603541724ac782e8f1b9cb5cd3bd02 Mon Sep 17 00:00:00 2001 From: Eduardo Cavazos <dharmatech@finkelstein.stackeffects.info> Date: Sun, 13 Jul 2008 15:07:48 -0500 Subject: [PATCH] ui.tools.debugger: remove usages of 'gadget,' --- extra/ui/tools/debugger/debugger.factor | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/extra/ui/tools/debugger/debugger.factor b/extra/ui/tools/debugger/debugger.factor index fbf9b28937..548b0a0b0e 100644 --- a/extra/ui/tools/debugger/debugger.factor +++ b/extra/ui/tools/debugger/debugger.factor @@ -15,10 +15,12 @@ IN: ui.tools.debugger TUPLE: debugger < track restarts ; : <debugger-display> ( restart-list error -- gadget ) - [ - <pane> [ [ print-error ] with-pane ] keep gadget, - gadget, - ] make-filled-pile ; + <filled-pile> + <pane> + swapd tuck [ print-error ] with-pane + add-gadget + + swap add-gadget ; : <debugger> ( error restarts restart-hook -- gadget ) { 0 1 } debugger new-track