From 87b436eb2a2f0269e98d58b6fabee580bbc51bf8 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Wed, 26 Feb 2020 09:22:48 -0800 Subject: [PATCH] ui.tools.browser: use unicode next/prev arrows. --- basis/ui/tools/browser/browser.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basis/ui/tools/browser/browser.factor b/basis/ui/tools/browser/browser.factor index 0e0c3943da..8d34e3d6c5 100644 --- a/basis/ui/tools/browser/browser.factor +++ b/basis/ui/tools/browser/browser.factor @@ -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 , ;