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

ui.tools.browser: change $navigation to not use title-style.

flac
John Benediktsson 2020-02-19 19:56:43 -08:00 committed by Steve Ayerhart
parent 612a6999c9
commit 3eaf7b81bc
No known key found for this signature in database
GPG Key ID: 5BFD39C5359E967D
1 changed files with 5 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -43,7 +43,7 @@ CONSTANT: next 1
: $navigation-arrow ( content element direction -- )
[ prefix 1array ] dip add-navigation-arrow , ;
:: ($navigation) ( topic direction -- )
:: $navigation ( topic direction -- )
help-path-style get [
topic [
direction prev/next-article
@ -51,17 +51,12 @@ CONSTANT: next 1
] { } make [ ($navigation-table) ] unless-empty
] with-style ;
: $navigation ( topic direction -- )
title-style get [ ($navigation) ] with-style ;
: $title ( topic -- )
title-style get clone page-color over delete-at dup
[
title-style get clone page-color over delete-at
[
[ ($title) ]
[ ($navigation-path) ] bi
] with-nesting
] with-style ;
] with-nesting ;
: <help-header> ( browser-gadget -- gadget )
model>> [ '[ _ $title ] try ] <pane-control> ;