2003-03-14 00:28:28 +00:00
|
|
|
# This is the built-in preferences file for Jskad and the Translation Tool.
|
Added a flexible mechanism for persistent boolean-, integer-, and
string-valued preferences built atop java.util.Properties.
How it works: the jvm is asked first, and then the user's prefs file, if it exists,
then the system-wide prefs file, and then the built-in preferences. Finally, for
robustness, a default may be optionally hard-coded in the source.
I made several things configurable, too:
the default Tibetan keyboard
the default font sizes and faces
whether you want developer-only features enabled
Savant's file extension (.savant)
etc.
The only known problems are the following:
The default location for the user's preferences file is windows-specific,
arbitrary, and not in the user documentation. Likewise for the location of the
system-wide preferences file. You can change them using 'java -D', though.
There is no "Save preferences" option yet, and closing the program does
not save preferences either.
2002-10-14 04:06:05 +00:00
|
|
|
#
|
|
|
|
# Please do not edit this file. Instead, create a system-wide or
|
|
|
|
# user-specific properties file, defining just the options that you
|
|
|
|
# want to differ from the defaults given here. See the documentation
|
|
|
|
# for how to do that. Or, if you are a developer or if we haven't
|
|
|
|
# written any documentation yet *smile*, look at
|
|
|
|
# 'http://thdltools.sourceforge.net/api/org/thdl/util/ThdlOptions.html'.
|
|
|
|
#
|
|
|
|
#
|
|
|
|
# This file must remain readable by the
|
|
|
|
# java.util.Properties.load(InputStream) mechanism, so don't just edit
|
|
|
|
# it willy-nilly -- instead, read the comments for each item.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
############################################################################
|
|
|
|
######################### User Preferences ###########################
|
|
|
|
############################################################################
|
|
|
|
|
2002-11-18 16:12:25 +00:00
|
|
|
# Set this to the full path of the user preferences file, or to the
|
|
|
|
# empty string if you wish to use the default values, which are
|
|
|
|
# system-specific.
|
|
|
|
thdl.user.options.directory =
|
|
|
|
|
2003-05-18 14:14:47 +00:00
|
|
|
# Set this to true if you want more messages (probably on the console)
|
|
|
|
# about what's going on.
|
|
|
|
thdl.verbose = false
|
|
|
|
|
2003-03-11 01:03:19 +00:00
|
|
|
# Set this to the full path of Jskad's working directory. When you go
|
|
|
|
# to open a file or to save a file, this is the path you'll see first.
|
|
|
|
thdl.Jskad.working.directory =
|
|
|
|
|
2002-11-18 16:12:25 +00:00
|
|
|
# Should the TibetanMachineWeb fonts not be loaded from within the JAR? Set
|
|
|
|
# this to true if you can get away with it and want your THDL tools to load
|
|
|
|
# faster.
|
|
|
|
thdl.rely.on.system.tmw.fonts = false
|
|
|
|
|
Added a flexible mechanism for persistent boolean-, integer-, and
string-valued preferences built atop java.util.Properties.
How it works: the jvm is asked first, and then the user's prefs file, if it exists,
then the system-wide prefs file, and then the built-in preferences. Finally, for
robustness, a default may be optionally hard-coded in the source.
I made several things configurable, too:
the default Tibetan keyboard
the default font sizes and faces
whether you want developer-only features enabled
Savant's file extension (.savant)
etc.
The only known problems are the following:
The default location for the user's preferences file is windows-specific,
arbitrary, and not in the user documentation. Likewise for the location of the
system-wide preferences file. You can change them using 'java -D', though.
There is no "Save preferences" option yet, and closing the program does
not save preferences either.
2002-10-14 04:06:05 +00:00
|
|
|
# Sets the Tibetan keyboard that Jskad uses on startup.
|
|
|
|
# Here are the acceptable values:
|
|
|
|
#
|
|
|
|
# 0: Extended Wylie Keyboard
|
|
|
|
# 1: TCC Keyboard #1
|
|
|
|
# 2: TCC Keyboard #2
|
|
|
|
# 3: Sambhota Keymap One
|
2002-11-18 16:12:25 +00:00
|
|
|
# 4: *ALPHA VERSION* ACIP Keyboard
|
Added a flexible mechanism for persistent boolean-, integer-, and
string-valued preferences built atop java.util.Properties.
How it works: the jvm is asked first, and then the user's prefs file, if it exists,
then the system-wide prefs file, and then the built-in preferences. Finally, for
robustness, a default may be optionally hard-coded in the source.
I made several things configurable, too:
the default Tibetan keyboard
the default font sizes and faces
whether you want developer-only features enabled
Savant's file extension (.savant)
etc.
The only known problems are the following:
The default location for the user's preferences file is windows-specific,
arbitrary, and not in the user documentation. Likewise for the location of the
system-wide preferences file. You can change them using 'java -D', though.
There is no "Save preferences" option yet, and closing the program does
not save preferences either.
2002-10-14 04:06:05 +00:00
|
|
|
thdl.default.tibetan.keyboard = 0
|
|
|
|
|
2002-11-18 16:12:25 +00:00
|
|
|
# Should Jskad be in Roman input mode or Tibetan input mode upon startup?
|
|
|
|
# 0: Tibetan
|
|
|
|
# 1: Roman
|
|
|
|
thdl.Jskad.input.method = 0
|
|
|
|
|
Added a flexible mechanism for persistent boolean-, integer-, and
string-valued preferences built atop java.util.Properties.
How it works: the jvm is asked first, and then the user's prefs file, if it exists,
then the system-wide prefs file, and then the built-in preferences. Finally, for
robustness, a default may be optionally hard-coded in the source.
I made several things configurable, too:
the default Tibetan keyboard
the default font sizes and faces
whether you want developer-only features enabled
Savant's file extension (.savant)
etc.
The only known problems are the following:
The default location for the user's preferences file is windows-specific,
arbitrary, and not in the user documentation. Likewise for the location of the
system-wide preferences file. You can change them using 'java -D', though.
There is no "Save preferences" option yet, and closing the program does
not save preferences either.
2002-10-14 04:06:05 +00:00
|
|
|
# Set this to the default font face for Roman input. No error is
|
|
|
|
# given if this font is not found.
|
|
|
|
thdl.default.roman.font.face = Serif
|
|
|
|
|
|
|
|
# Set this to the default font size for Roman input:
|
|
|
|
thdl.default.roman.font.size = 14
|
|
|
|
|
|
|
|
# Set this to the default font size for Tibetan input:
|
|
|
|
thdl.default.tibetan.font.size = 36
|
|
|
|
|
|
|
|
# Set this to true only if you do not want Jskad to have a status bar.
|
|
|
|
thdl.Jskad.disable.status.bar = false
|
|
|
|
|
|
|
|
# The message displayed in Jskad's status bar when you start it up
|
|
|
|
# with thdl.Jskad.disable.status.bar set to false:
|
2002-11-18 16:12:25 +00:00
|
|
|
thdl.Jskad.initial.status.message = Welcome to Jskad\!
|
Added a flexible mechanism for persistent boolean-, integer-, and
string-valued preferences built atop java.util.Properties.
How it works: the jvm is asked first, and then the user's prefs file, if it exists,
then the system-wide prefs file, and then the built-in preferences. Finally, for
robustness, a default may be optionally hard-coded in the source.
I made several things configurable, too:
the default Tibetan keyboard
the default font sizes and faces
whether you want developer-only features enabled
Savant's file extension (.savant)
etc.
The only known problems are the following:
The default location for the user's preferences file is windows-specific,
arbitrary, and not in the user documentation. Likewise for the location of the
system-wide preferences file. You can change them using 'java -D', though.
There is no "Save preferences" option yet, and closing the program does
not save preferences either.
2002-10-14 04:06:05 +00:00
|
|
|
|
2002-11-08 03:58:35 +00:00
|
|
|
# Set this to true if you don't want Jskad to ask you "Do you really
|
|
|
|
# want to quit?" when you try to exit the program. (Your changes will
|
|
|
|
# not be saved if this is true.)
|
|
|
|
thdl.Jskad.do.not.confirm.quit = false
|
|
|
|
|
2003-05-28 00:40:59 +00:00
|
|
|
# If this is false, then upon opening any RTF document, Jskad will
|
|
|
|
# replace the characters '{', '}', and '\' in the font 'Tahoma' with
|
|
|
|
# the correct Tibetan Machine Web glyphs.
|
|
|
|
thdl.Jskad.do.not.fix.curly.braces.in.rtf = false
|
|
|
|
|
2003-06-15 20:28:56 +00:00
|
|
|
# What font should be used for the result of TMW->Unicode conversions?
|
|
|
|
thdl.tmw.to.unicode.font = Arial Unicode MS
|
|
|
|
|
Added a flexible mechanism for persistent boolean-, integer-, and
string-valued preferences built atop java.util.Properties.
How it works: the jvm is asked first, and then the user's prefs file, if it exists,
then the system-wide prefs file, and then the built-in preferences. Finally, for
robustness, a default may be optionally hard-coded in the source.
I made several things configurable, too:
the default Tibetan keyboard
the default font sizes and faces
whether you want developer-only features enabled
Savant's file extension (.savant)
etc.
The only known problems are the following:
The default location for the user's preferences file is windows-specific,
arbitrary, and not in the user documentation. Likewise for the location of the
system-wide preferences file. You can change them using 'java -D', though.
There is no "Save preferences" option yet, and closing the program does
not save preferences either.
2002-10-14 04:06:05 +00:00
|
|
|
|
|
|
|
############################################################################
|
|
|
|
####################### Developer Preferences ########################
|
|
|
|
############################################################################
|
|
|
|
|
|
|
|
# Set this to true to disable the creation of log files.
|
|
|
|
thdl.disable.log.file = false
|
|
|
|
|
|
|
|
# Set this to true if you want the debugging output, the .log files,
|
|
|
|
# to be placed in your system's temporary directory. You cannot set
|
|
|
|
# this to true AND set thdl.log.directory.
|
|
|
|
thdl.use.temp.file.directory.for.log = false
|
|
|
|
|
|
|
|
# Set this to the directory in which you want the debugging output,
|
|
|
|
# the .log files, placed. You cannot set this to true AND set
|
2002-10-28 04:12:49 +00:00
|
|
|
# thdl.use.temp.file.directory.for.log to true. Setting it to the
|
|
|
|
# empty string means to use the current working directory.
|
Added a flexible mechanism for persistent boolean-, integer-, and
string-valued preferences built atop java.util.Properties.
How it works: the jvm is asked first, and then the user's prefs file, if it exists,
then the system-wide prefs file, and then the built-in preferences. Finally, for
robustness, a default may be optionally hard-coded in the source.
I made several things configurable, too:
the default Tibetan keyboard
the default font sizes and faces
whether you want developer-only features enabled
Savant's file extension (.savant)
etc.
The only known problems are the following:
The default location for the user's preferences file is windows-specific,
arbitrary, and not in the user documentation. Likewise for the location of the
system-wide preferences file. You can change them using 'java -D', though.
There is no "Save preferences" option yet, and closing the program does
not save preferences either.
2002-10-14 04:06:05 +00:00
|
|
|
thdl.log.directory =
|
|
|
|
|
|
|
|
# Set this to true only if you are a developer and want to see what
|
|
|
|
# Jskad is "thinking" as you enter tibetan text. If
|
|
|
|
# thdl.Jskad.disable.status.bar is true, then this will have no
|
|
|
|
# effect.
|
|
|
|
thdl.Jskad.enable.tibetan.mode.status = false
|
|
|
|
|
|
|
|
# Set this to true only if you are a developer and want exceptional
|
|
|
|
# behavior to rear its ugly head as soon as possible:
|
|
|
|
thdl.debug = false
|
|
|
|
|
|
|
|
# Set this to true if you want Savant to treat all files as valid
|
|
|
|
# input. Otherwise, only .savant files are acceptable.
|
|
|
|
thdl.treat.all.files.as.dot.savant.files.regardless.of.extension = false
|
2002-10-28 04:12:49 +00:00
|
|
|
|
|
|
|
# Do you want a developer-only option on the bottom of the Tools menu
|
|
|
|
# in Jskad?
|
|
|
|
thdl.add.developer.options.to.menu = false
|
|
|
|
|
|
|
|
# Set this to true if you want the console and the log file to tell
|
|
|
|
# you about the messy details of how Jskad decides when and where to
|
|
|
|
# break lines for display.
|
|
|
|
thdl.log.line.breaking.algorithm = false
|