From c3dd210079bae4fb1374bc22db1042a53116f56a Mon Sep 17 00:00:00 2001 From: Eduardo Cavazos Date: Tue, 15 Jul 2008 12:07:17 -0500 Subject: [PATCH] ui.tools.workspace: rewrite show-popup --- extra/ui/tools/workspace/workspace.factor | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/extra/ui/tools/workspace/workspace.factor b/extra/ui/tools/workspace/workspace.factor index 45dfd32609..86cfdb02c7 100755 --- a/extra/ui/tools/workspace/workspace.factor +++ b/extra/ui/tools/workspace/workspace.factor @@ -60,10 +60,10 @@ M: gadget tool-scroller drop f ; request-focus ; : show-popup ( gadget workspace -- ) - dup hide-popup - 2dup set-workspace-popup - dupd f track-add - request-focus ; + dup hide-popup + over >>popup + over f track-add* drop + request-focus ; : show-titled-popup ( workspace gadget title -- ) [ find-workspace hide-popup ]