DAS sources added

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