From b4c621d9022d271522340384780b5ba1650c12f9 Mon Sep 17 00:00:00 2001 From: Joe Groff Date: Sat, 24 Oct 2009 16:21:38 -0500 Subject: [PATCH] Make browser windows larger by default --- basis/ui/tools/browser/browser.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basis/ui/tools/browser/browser.factor b/basis/ui/tools/browser/browser.factor index f6a0855637..c9c2201e33 100644 --- a/basis/ui/tools/browser/browser.factor +++ b/basis/ui/tools/browser/browser.factor @@ -13,7 +13,7 @@ IN: ui.tools.browser TUPLE: browser-gadget < tool history scroller search-field popup ; -{ 650 400 } browser-gadget set-tool-dim +{ 650 700 } browser-gadget set-tool-dim M: browser-gadget history-value [ control-value ] [ scroller>> scroll-position ]