From 35ebc60a4b304ee600424781035fd8c7a745dd7e Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Thu, 8 Jan 2009 18:35:34 -0600 Subject: [PATCH] UI tools now remember their size --- basis/ui/tools/browser/browser.factor | 9 +++------ basis/ui/tools/common/common.factor | 23 ++++++++++++++++++++++- basis/ui/tools/inspector/inspector.factor | 8 ++++---- basis/ui/tools/listener/listener.factor | 7 +++---- basis/ui/tools/profiler/profiler.factor | 6 +++--- basis/ui/tools/walker/walker.factor | 4 +++- 6 files changed, 38 insertions(+), 19 deletions(-) diff --git a/basis/ui/tools/browser/browser.factor b/basis/ui/tools/browser/browser.factor index 4424a9d114..e4b3168bd4 100644 --- a/basis/ui/tools/browser/browser.factor +++ b/basis/ui/tools/browser/browser.factor @@ -11,6 +11,8 @@ IN: ui.tools.browser TUPLE: browser-gadget < track pane scroller search-field ; +TOOL: browser-gadget { 550 400 } + : show-help ( link browser-gadget -- ) model>> dup add-history [ >link ] dip set-model ; @@ -33,18 +35,13 @@ TUPLE: browser-gadget < track pane scroller search-field ; "Search:"