shithub: pokered

Info  •  Files  •  Log  •  Branches

Add the currency character to text tables.

hg-commit-id: 9ebaeb993372

--- a/extras/pretty_map_headers.py

+++ b/extras/pretty_map_headers.py

@@ -327,6 +327,7 @@

 ("!", 0xE7),

 (".", 0xE8),

 ("♂", 0xEF),

+("¥", 0xF0),

 ("/", 0xF3),

 (",", 0xF4),

 ("♀", 0xF5),

--- a/textpre.awk

+++ b/textpre.awk

@@ -238,6 +238,7 @@

 char["!"] = "$E7"

 char["."] = "$E8"

 char["♂"] = "$EF"

+char["¥"] = "$F0"

 char["/"] = "$F3"

 char[","] = "$F4"

 char["♀"] = "$F5"