From 0f3c4174b645df026fb564fcfbe0adc25cb429c7 Mon Sep 17 00:00:00 2001
From: dchandler <dchandler>
Date: Tue, 24 Jun 2003 23:48:00 +0000
Subject: [PATCH] Made the comments in the my_thdl_preferences.txt file more
 useful.

---
 source/org/thdl/util/ThdlOptions.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/source/org/thdl/util/ThdlOptions.java b/source/org/thdl/util/ThdlOptions.java
index 7114389..d80ec8d 100644
--- a/source/org/thdl/util/ThdlOptions.java
+++ b/source/org/thdl/util/ThdlOptions.java
@@ -407,7 +407,8 @@ public class ThdlOptions {
             userProperties.store(new FileOutputStream(getUserPreferencesPath()),
                                  " This file was automatically created by a THDL tool.\n"
                                  + "# You may edit this file, but it will be recreated,\n"
-                                 + "# so your comments will be lost.\n"
+                                 + "# so your comments will be lost.  Moreover, you must\n"
+                                 + "# edit this file only after exiting all THDL tools.\n"
                                  + "# \n"
                                  + "# To understand this file's contents, please see\n"
                                  + "# options.txt in the JAR file.\n"