X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fi18n.c;h=13a46a53c46cc86a19ac80228b4ebd14c035d7e5;hb=6d89701ab597b810da249ff0e4e42423e869df66;hp=cb155723b3e8bc9867c848bc12a9ab8c85fb42c3;hpb=9bbbfbc94aead4518e17eb6304451f6ad2ca2db2;p=pspp-builds.git

diff --git a/src/libpspp/i18n.c b/src/libpspp/i18n.c
index cb155723..13a46a53 100644
--- a/src/libpspp/i18n.c
+++ b/src/libpspp/i18n.c
@@ -377,3 +377,12 @@ get_system_decimal (void)
   return radix_char;
 }
 
+const char *
+uc_name (ucs4_t uc, char buffer[16])
+{
+  if (uc >= 0x20 && uc < 0x7f)
+    snprintf (buffer, 16, "`%c'", uc);
+  else
+    snprintf (buffer, 16, "U+%04X", uc);
+  return buffer;
+}