From 0b0af67ed9e2edbaa4209a33f6987703908fb164 Mon Sep 17 00:00:00 2001
From: dchandler
Date: Tue, 4 Jan 2005 02:20:59 +0000
Subject: [PATCH] Ximalaya is not nearly as nice as Tibetan Machine Uni, so use
the latter.
---
source/options.txt | 2 +-
source/org/thdl/tib/input/jskad_doc.html | 2 +-
source/org/thdl/tib/text/TibetanDocument.java | 4 ++--
source/org/thdl/tib/text/TibetanMachineWeb.java | 6 +++---
4 files changed, 7 insertions(+), 7 deletions(-)
diff --git a/source/options.txt b/source/options.txt
index 9529fb4..5c27574 100644
--- a/source/options.txt
+++ b/source/options.txt
@@ -96,7 +96,7 @@ thdl.Jskad.do.not.confirm.quit = false
thdl.Jskad.do.not.fix.curly.braces.in.rtf = false
# What font should be used for the result of TMW->Unicode conversions?
-thdl.tmw.to.unicode.font = Ximalaya
+thdl.tmw.to.unicode.font = Tibetan Machine Uni
############################################################################
diff --git a/source/org/thdl/tib/input/jskad_doc.html b/source/org/thdl/tib/input/jskad_doc.html
index 7925b61..7707c6f 100644
--- a/source/org/thdl/tib/input/jskad_doc.html
+++ b/source/org/thdl/tib/input/jskad_doc.html
@@ -418,7 +418,7 @@ need be.
- At present, the TMW->Unicode conversion converts to the Ximalaya
+ At present, the TMW->Unicode conversion converts to the Tibetan Machine Uni
font. If users ask for it, the converter can easily be
extended to convert to the font of the user's choice.