X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGPreferences.java;h=4e909f1812268b2a9ea232aeccca74cf6cc89932;hb=7692386ccfe778075dd83a753d30a7a27fe507be;hp=a3921f6ccfbbb7c7743ab076640734b8f4e425f1;hpb=f37c3fd4fe12799de498de5f397252e9f457fee9;p=jalview.git diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java index a3921f6..4e909f1 100755 --- a/src/jalview/jbgui/GPreferences.java +++ b/src/jalview/jbgui/GPreferences.java @@ -292,11 +292,6 @@ public class GPreferences extends JPanel protected JTextField cygwinPath; /* - * DAS Settings tab - */ - protected JPanel dasTab = new JPanel(); - - /* * Web Services tab */ protected JPanel wsTab = new JPanel(); @@ -357,12 +352,6 @@ public class GPreferences extends JPanel tabbedPane.add(initHMMERTab(), MessageManager.getString("label.hmmer")); /* - * See DasSourceBrowser for the real work of configuring this tab. - */ - dasTab.setLayout(new BorderLayout()); - tabbedPane.add(dasTab, MessageManager.getString("label.das_settings")); - - /* * See WsPreferences for the real work of configuring this tab. */ wsTab.setLayout(new BorderLayout());