thdltools/Jskad
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Made the comments in the my_thdl_preferences.txt file use standard line

Browse source 
separators.
This commit is contained in:
dchandler 2003-06-25 00:03:46 +00:00
parent 0f3c4174b6
commit 569fba6467
1 changed files with 22 additions and 20 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

42
source/org/thdl/util/ThdlOptions.java
View file

@ -403,28 +403,30 @@ public class ThdlOptions {
* @throws IOException if an IO exception occurs while writing to * @throws IOException if an IO exception occurs while writing to
* the disk. */ * the disk. */
public static boolean saveUserPreferences() throws IOException { public static boolean saveUserPreferences() throws IOException {
String lineSep = System.getProperty("line.separator");
if (null == lineSep || "".equals(lineSep)) lineSep = "\n";
if (null != userProperties) { if (null != userProperties) {
userProperties.store(new FileOutputStream(getUserPreferencesPath()), userProperties.store(new FileOutputStream(getUserPreferencesPath()),
" This file was automatically created by a THDL tool.\n" " This file was automatically created by a THDL tool." + lineSep
+ "# You may edit this file, but it will be recreated,\n" + "# You may edit this file, but it will be recreated," + lineSep
+ "# so your comments will be lost. Moreover, you must\n" + "# so your comments will be lost. Moreover, you must" + lineSep
+ "# edit this file only after exiting all THDL tools.\n" + "# edit this file only after exiting all THDL tools." + lineSep
+ "# \n" + "# " + lineSep
+ "# To understand this file's contents, please see\n" + "# To understand this file's contents, please see" + lineSep
+ "# options.txt in the JAR file.\n" + "# options.txt in the JAR file." + lineSep
+ "# \n" + "# " + lineSep
+ "# Note that this is the user-specific preferences file.\n" + "# Note that this is the user-specific preferences file." + lineSep
+ "# This tool also supports a system-specific preferences\n" + "# This tool also supports a system-specific preferences" + lineSep
+ "# file, which the user-specific preferences override.\n" + "# file, which the user-specific preferences override." + lineSep
+ "# \n" + "# " + lineSep
+ "# Note also that you can set a JVM preference at run-time.\n" + "# Note also that you can set a JVM preference at run-time." + lineSep
+ "# Doing so will override both system- and user-specific\n" + "# Doing so will override both system- and user-specific" + lineSep
+ "# preferences. On many systems, you do this like so:\n" + "# preferences. On many systems, you do this like so:" + lineSep
+ "# 'java -Dthdl.default.tibetan.font.size=36 -jar Jskad.jar'\n" + "# 'java -Dthdl.default.tibetan.font.size=36 -jar Jskad.jar'" + lineSep
+ "# \n" + "# " + lineSep
+ "# There is, unfortunately, no further documentation on the\n" + "# There is, unfortunately, no further documentation on the" + lineSep
+ "# preferences mechanism at this time. Yell for it!\n" + "# preferences mechanism at this time. Yell for it!" + lineSep
+ "# \n" + "# " + lineSep
+ "# Created at:"); // DLC FIXME: document the preferences mechanism. + "# Created at:"); // DLC FIXME: document the preferences mechanism.
return true; return true;
} }