From 3d1c427c60ef031bf8fe4dd63876043330cae75e Mon Sep 17 00:00:00 2001
From: fros4943 <fros4943>
Date: Wed, 4 Apr 2007 08:04:48 +0000
Subject: [PATCH] only storing external tools settings differing from the
 defaults

---
 tools/cooja/java/se/sics/cooja/GUI.java | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

diff --git a/tools/cooja/java/se/sics/cooja/GUI.java b/tools/cooja/java/se/sics/cooja/GUI.java
index a60f14c24..7f2e69aa3 100644
--- a/tools/cooja/java/se/sics/cooja/GUI.java
+++ b/tools/cooja/java/se/sics/cooja/GUI.java
@@ -24,7 +24,7 @@
  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
  * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  * 
- * $Id: GUI.java,v 1.41 2007/04/03 16:21:12 fros4943 Exp $
+ * $Id: GUI.java,v 1.42 2007/04/04 08:04:48 fros4943 Exp $
  */
 
 package se.sics.cooja;
@@ -2313,7 +2313,19 @@ public class GUI {
   public static void saveExternalToolsUserSettings() {
     try {
       FileOutputStream out = new FileOutputStream(externalToolsUserSettingsFile);
-      currentExternalToolsSettings.store(out, "COOJA User Settings");
+      
+      Properties differingSettings = new Properties();
+      Enumeration keyEnum = currentExternalToolsSettings.keys();
+      while (keyEnum.hasMoreElements()) {
+        String key = (String) keyEnum.nextElement();
+        String defaultSetting = getExternalToolsDefaultSetting(key, "");
+        String currentSetting = getExternalToolsSetting(key, "");
+        if (!defaultSetting.equals(currentSetting)) {
+          differingSettings.setProperty(key, currentSetting);
+        }
+      }
+      
+      differingSettings.store(out, "COOJA External Tools (User specific)");
       out.close();
     } catch (FileNotFoundException ex) {
       // Could not open settings file for writing, aborting