From fb072de10562e433c64ce3ce46f30e2e8f8e5d2a Mon Sep 17 00:00:00 2001 From: IIMarckus Date: Tue, 17 Jan 2012 01:52:25 -0700 Subject: Add the currency character to text tables. hg-commit-id: 9ebaeb993372 --- extras/pretty_map_headers.py | 1 + textpre.awk | 1 + 2 files changed, 2 insertions(+) diff --git a/extras/pretty_map_headers.py b/extras/pretty_map_headers.py index b36d9242..407a1f84 100644 --- a/extras/pretty_map_headers.py +++ b/extras/pretty_map_headers.py @@ -327,6 +327,7 @@ char_conversion = [ ("!", 0xE7), (".", 0xE8), ("♂", 0xEF), +("¥", 0xF0), ("/", 0xF3), (",", 0xF4), ("♀", 0xF5), diff --git a/textpre.awk b/textpre.awk index 4858568a..cbddd8ff 100644 --- a/textpre.awk +++ b/textpre.awk @@ -238,6 +238,7 @@ char["?"] = "$E6" char["!"] = "$E7" char["."] = "$E8" char["♂"] = "$EF" +char["¥"] = "$F0" char["/"] = "$F3" char[","] = "$F4" char["♀"] = "$F5" -- cgit v1.2.3