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

ui.tools.browser: use unicode next/prev arrows.

flac
John Benediktsson 2020-02-26 09:22:48 -08:00 committed by Steve Ayerhart
parent a4b6397dc8
commit 87b436eb2a
No known key found for this signature in database
GPG Key ID: 5BFD39C5359E967D
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

@ -38,7 +38,7 @@ CONSTANT: prev -1
CONSTANT: next 1
: add-navigation-arrow ( str direction -- str )
prev = [ "<" prefix ] [ ">" suffix ] if ;
prev = [ "←" prefix ] [ "→" suffix ] if ;
: $navigation-arrow ( content element direction -- )
[ prefix 1array ] dip add-navigation-arrow , ;