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

ui.tools.browser: remove spacer for right now... 

...until we have the text-within-empty-label thing fixed it gives
us a little more space to type into.
db4
John Benediktsson 2015-08-16 10:22:11 -07:00
parent 0af0f5c424
commit bfbab98d57
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -69,11 +69,8 @@ M: browser-gadget set-history-value
10 >>max-cols 10 >>max-cols
white-interior ; white-interior ;
: add-spacer ( track -- track )
<pile> 1/4 track-add ;
: <browser-toolbar> ( browser -- toolbar ) : <browser-toolbar> ( browser -- toolbar )
[ <toolbar> add-spacer ] [ search-field>> "Search" label-on-left 1 track-add ] bi ; [ <toolbar> ] [ search-field>> "Search" label-on-left 1 track-add ] bi ;
: add-browser-toolbar ( track -- track ) : add-browser-toolbar ( track -- track )
dup <browser-toolbar> format-toolbar f track-add ; dup <browser-toolbar> format-toolbar f track-add ;