From: amwaterhouse Date: Wed, 7 Jun 2006 12:59:26 +0000 (+0000) Subject: DAS sources added X-Git-Tag: Release_2_1~384 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=6d02241d48fdb8111b3987b95e1289f9d75d0871;p=jalview.git DAS sources added --- 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 {