From 33bb7b638b4091762e2f0c4397db7642f16b7478 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Sun, 15 Feb 2009 23:14:26 -0600 Subject: [PATCH] Make listener a little wider --- basis/ui/tools/listener/listener.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basis/ui/tools/listener/listener.factor b/basis/ui/tools/listener/listener.factor index 27baefd92e..7f76a47d6c 100644 --- a/basis/ui/tools/listener/listener.factor +++ b/basis/ui/tools/listener/listener.factor @@ -169,7 +169,7 @@ M: interactor dispose drop ; TUPLE: listener-gadget < tool input output scroller ; -{ 550 700 } listener-gadget set-tool-dim +{ 600 700 } listener-gadget set-tool-dim : find-listener ( gadget -- listener ) [ listener-gadget? ] find-parent ;