Working links menu

[jalview.git] / src / jalview / gui / Preferences.java

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index b43989a..b36a73d 100755 (executable)
--- a/src/jalview/gui/Preferences.java
+++ b/src/jalview/gui/Preferences.java
@@ -21,6 +21,7 @@
 package jalview.gui;
 
 import static jalview.util.UrlConstants.EMBLEBI_STRING;
+import static jalview.util.UrlConstants.OLD_EMBLEBI_STRING;
 import static jalview.util.UrlConstants.SEQUENCE_ID;
 import static jalview.util.UrlConstants.SRS_STRING;
 
@@ -143,6 +144,12 @@ public class Preferences extends GPreferences
       {
         sequenceURLLinks.setElementAt(EMBLEBI_STRING, srsPos);
       }
+      // upgrade old EMBL-EBI link
+      int emblPos = sequenceURLLinks.indexOf(OLD_EMBLEBI_STRING);
+      if (emblPos > -1)
+      {
+        sequenceURLLinks.setElementAt(EMBLEBI_STRING, emblPos);
+      }
     }
 
     /**