Other small adjustment in browser toolbar
parent
32ae5da655
commit
883d7e09d9
basis/ui
gadgets/toolbar
tools/browser
|
@ -12,14 +12,14 @@ IN: ui.gadgets.toolbar
|
|||
toolbar-background <solid> dup
|
||||
line-color <solid> dup dup
|
||||
<button-pen> ;
|
||||
|
||||
|
||||
: toolbar-button-theme ( gadget -- gadget )
|
||||
dup gadget-child border-button-label-theme
|
||||
horizontal >>orientation
|
||||
<toolbar-button-pen> >>interior
|
||||
dup dup interior>> pen-pref-dim >>min-dim
|
||||
{ 10 6 } >>size ; inline
|
||||
|
||||
|
||||
PRIVATE>
|
||||
|
||||
:: <toolbar-button> ( target gesture command -- button )
|
||||
|
@ -36,9 +36,9 @@ PRIVATE>
|
|||
[ [ "toolbar" ] dip class-of get-command-at commands>> ]
|
||||
[ '[ [ _ ] 2dip <toolbar-button> add-gadget ] ]
|
||||
bi assoc-each ;
|
||||
|
||||
|
||||
: format-toolbar ( toolbar -- toolbar )
|
||||
{ 0 0 } <border>
|
||||
{ 5 0 } <border>
|
||||
toolbar-background <solid> >>interior
|
||||
{ 1 0 } >>fill ;
|
||||
|
||||
|
|
|
@ -74,15 +74,17 @@ M: browser-gadget set-history-value
|
|||
10 >>max-cols
|
||||
white-interior ;
|
||||
|
||||
: add-spacer ( track -- track )
|
||||
<pile> { 10 0 } <border> f track-add ;
|
||||
|
||||
: <browser-toolbar> ( browser -- toolbar )
|
||||
horizontal <track>
|
||||
0 >>fill
|
||||
1/2 >>align
|
||||
{ 5 5 } >>gap
|
||||
over <toolbar> f track-add
|
||||
<pile> { 10 0 } <border> f track-add
|
||||
swap search-field>> "Search" label-on-left 1 track-add
|
||||
<pile> f track-add ;
|
||||
add-spacer
|
||||
swap search-field>> "Search" label-on-left 1 track-add ;
|
||||
|
||||
: add-browser-toolbar ( track -- track )
|
||||
dup <browser-toolbar> format-toolbar f track-add ;
|
||||
|
|
Loading…
Reference in New Issue