From 6d02241d48fdb8111b3987b95e1289f9d75d0871 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Wed, 7 Jun 2006 12:59:26 +0000
Subject: [PATCH] DAS sources added

---
 src/jalview/gui/Preferences.java |   12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index 9ac8acf..92f1f5b 100755
--- a/src/jalview/gui/Preferences.java
+++ b/src/jalview/gui/Preferences.java
@@ -67,6 +67,8 @@ public class Preferences extends GPreferences
 
     JInternalFrame frame;
 
+    DasSourceBrowser dasSource;
+
 
     /**
      * Creates a new Preferences object.
@@ -76,8 +78,11 @@ public class Preferences extends GPreferences
 
         frame = new JInternalFrame();
         frame.setContentPane(this);
-        Desktop.addInternalFrame(frame, "Preferences", 480, 395);
-        frame.setMinimumSize(new Dimension(480,395));
+        dasSource = new DasSourceBrowser();
+        dasPanel.add(dasSource, BorderLayout.CENTER);
+
+        Desktop.addInternalFrame(frame, "Preferences", 490, 405);
+        frame.setMinimumSize(new Dimension(490,395));
 
         seqLimit.setSelected(    Cache.getDefault("SHOW_JVSUFFIX", true));
         fullScreen.setSelected(  Cache.getDefault("SHOW_FULLSCREEN", false));
@@ -288,6 +293,9 @@ public class Preferences extends GPreferences
                                                 Boolean.toString(autoCalculateConsCheck.isSelected()));
         Cache.applicationProperties.setProperty("PAD_GAPS",
                                                 Boolean.toString(padGaps.isSelected()));
+
+        dasSource.saveProperties(Cache.applicationProperties);
+
         Cache.saveProperties();
         try
         {
-- 
1.7.10.2