From: kiramt Date: Fri, 4 Nov 2016 16:44:59 +0000 (+0000) Subject: Merge remote-tracking branch 'origin/bug/JAL-2282' into develop X-Git-Tag: Release_2_10_1^2~8^2~6 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=ce50fa39f4fb3617b344d77f230caa6486acd0a4;hp=44d74820a0af7a277c10c1eab98b59eb7fceddf6;p=jalview.git Merge remote-tracking branch 'origin/bug/JAL-2282' into develop --- diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java index 4f094e1..3bffd3a 100755 --- a/src/jalview/gui/Preferences.java +++ b/src/jalview/gui/Preferences.java @@ -20,8 +20,8 @@ */ package jalview.gui; -import static jalview.util.UrlConstants.EMBLEBI_STRING; import static jalview.util.UrlConstants.DB_ACCESSION; +import static jalview.util.UrlConstants.EMBLEBI_STRING; import static jalview.util.UrlConstants.SEQUENCE_ID; import static jalview.util.UrlConstants.SRS_STRING; @@ -567,6 +567,7 @@ public class Preferences extends GPreferences else { Cache.applicationProperties.remove("SEQUENCE_LINKS"); + sequenceURLLinks.clear(); } Cache.applicationProperties.setProperty("USE_PROXY",