]> gitweb.factorcode.org Git - factor.git/commitdiff
ui.tools.browser: use unicode next/prev arrows.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 26 Feb 2020 17:22:48 +0000 (09:22 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 26 Feb 2020 17:22:48 +0000 (09:22 -0800)
basis/ui/tools/browser/browser.factor

index 0e0c3943da7a51c8ebc5d098b561509e58398c8d..8d34e3d6c5e08eb1de2f8dbb97b01fbbaa0866a2 100644 (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 , ;