DAS Settings tab added

diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java
index a1ec0a9..3ca4c79 100755 (executable)
--- a/src/jalview/jbgui/GPreferences.java
+++ b/src/jalview/jbgui/GPreferences.java
@@ -108,6 +108,8 @@ public class GPreferences extends JPanel
   protected JCheckBox autoCalculateConsCheck = new JCheckBox();\r
   protected JCheckBox padGaps = new JCheckBox();\r
   protected JCheckBox modellerOutput = new JCheckBox();\r
+  protected JPanel dasPanel = new JPanel();\r
+  BorderLayout borderLayout4 = new BorderLayout();\r
   /**\r
      * Creates a new GPreferences object.\r
      */\r
@@ -371,6 +373,7 @@ public class GPreferences extends JPanel
     modellerOutput.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11));\r
     modellerOutput.setText("Use Modeller Output");\r
     modellerOutput.setBounds(new Rectangle(228, 226, 168, 23));\r
+    dasPanel.setLayout(borderLayout4);\r
     jPanel2.add(fullScreen);\r
 \r
     jPanel2.add(annotations);\r
@@ -457,6 +460,7 @@ public class GPreferences extends JPanel
     tabbedPane.add(calcTab, "Editing");\r
     calcTab.add(autoCalculateConsCheck);\r
     calcTab.add(padGaps);\r
+    tabbedPane.add(dasPanel, "DAS Settings");\r
 \r
     exportTab.add(epsLabel);\r
     exportTab.add(epsRendering);\r