From 221222cb8f370fc23130bb9506683bfbe059f9c7 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Sat, 21 Feb 2009 00:55:50 -0600 Subject: [PATCH] Use Unicode character names --- basis/ui/gestures/gestures.factor | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/basis/ui/gestures/gestures.factor b/basis/ui/gestures/gestures.factor index 6391454dd0..637e890715 100644 --- a/basis/ui/gestures/gestures.factor +++ b/basis/ui/gestures/gestures.factor @@ -281,10 +281,10 @@ HOOK: modifiers>string os ( modifiers -- string ) M: macosx modifiers>string [ { - { A+ [ "⌘" ] } - { M+ [ "⎇" ] } - { S+ [ "⇧" ] } - { C+ [ "⌃" ] } + { A+ [ "\u{place-of-interest-sign}" ] } + { M+ [ "\u{option-key}" ] } + { S+ [ "\u{upwards-white-arrow}" ] } + { C+ [ "\u{up-arrowhead}" ] } } case ] map "" join ;