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

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

master
John Benediktsson 2020-02-26 09:22:48 -08:00
parent c03a7b5ec2
commit 6aa7d52473
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 CONSTANT: next 1
: add-navigation-arrow ( str direction -- str ) : add-navigation-arrow ( str direction -- str )
prev = [ "<" prefix ] [ ">" suffix ] if ; prev = [ "←" prefix ] [ "→" suffix ] if ;
: $navigation-arrow ( content element direction -- ) : $navigation-arrow ( content element direction -- )
[ prefix 1array ] dip add-navigation-arrow , ; [ prefix 1array ] dip add-navigation-arrow , ;