EWTS->Unicode for // now produces \u0f0e as it should.

This commit is contained in:
dchandler 2005-07-10 05:01:03 +00:00
parent 64625fd445
commit 33fc836e81
3 changed files with 21 additions and 12 deletions

View file

@ -397,6 +397,7 @@ public final class EWTSTraits implements TTraits {
if ("R".equals(l)) return "\u0f6a";
if ("Y".equals(l)) return "\u0f61";
if ("W".equals(l)) return "\u0f5d";
if ("//".equals(l)) return "\u0f0e";
if (!TibetanMachineWeb.isKnownHashKey(l)) {
// System.err.println("Getting unicode for the following is hard: '"