-
- // WidthSensitives
- Console.WriteLine ("public static int ToWidthInsensitive (int i)");
- Console.WriteLine ("{");
- Console.WriteLine (" if (i != 0x3000 && i < 0xFF00)");
- Console.WriteLine (" return i;");
- Console.WriteLine (" switch (i) {");
- foreach (int i in widthSensitives)
- Console.WriteLine (" case 0x{0:X}:", i);
- Console.WriteLine (" return mappedChars [NormalizationTableUtil.MapIdx (i)];");
- Console.WriteLine (" }");
- Console.WriteLine (" return i;");
- Console.WriteLine ("}");