Use Unicode character names

diff --git a/basis/ui/gestures/gestures.factor b/basis/ui/gestures/gestures.factor
index 6391454dd0d13c0c02e0697893a996812fa03432..637e890715948d5a68869136bfae2931c928b6fd 100644 (file)
--- 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 ;