steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Make browser windows larger by default

db4
Joe Groff 2009-10-24 16:21:38 -05:00
parent 6f006cd0c7
commit b4c621d902
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
basis/ui/tools/browser/browser.factor
View File

@ -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 ]