X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FPreferences.java;h=efe1ed6584fc5dcbfc406744cb3d41172a891bb3;hb=e63a4d52c27252dfb83efeeee1bda6c89b6dddec;hp=550f32457d40bd869c46fac59e059c85a3c16406;hpb=44fc22cf950ff114ce3a5a07600e7a7eb5fd1216;p=jalview.git diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java index 550f324..efe1ed6 100755 --- a/src/jalview/gui/Preferences.java +++ b/src/jalview/gui/Preferences.java @@ -128,10 +128,13 @@ public class Preferences extends GPreferences public static List groupURLLinks; static { - String string = Cache.getDefault("SEQUENCE_LINKS", + String inMenuString = Cache.getDefault("SEQUENCE_LINKS", UrlConstants.DEFAULT_STRING); - UrlProviderFactoryI factory = new DesktopUrlProviderFactory( - UrlConstants.DEFAULT_LABEL, string); + String notInMenuString = Cache.getDefault("STORED_LINKS", ""); + String defaultUrl = Cache.getDefault("DEFAULT_URL", + UrlConstants.DEFAULT_LABEL); + UrlProviderFactoryI factory = new DesktopUrlProviderFactory(defaultUrl, + inMenuString, notInMenuString); sequenceUrlLinks = factory.createUrlProvider(); dataModel = new UrlLinkTableModel(sequenceUrlLinks); @@ -414,7 +417,7 @@ public class Preferences extends GPreferences // set up radio buttons linkUrlTable.getColumn("Default").setCellRenderer( - new RadioButtonRenderer()); + new RadioButtonRenderer()); linkUrlTable.getColumn("Default") .setCellEditor(new RadioButtonEditor()); @@ -635,17 +638,31 @@ public class Preferences extends GPreferences jalview.util.BrowserLauncher.resetBrowser(); // save user-defined and selected links - String links = linkUrlTable.getModel().toString(); - if (links.isEmpty()) + String menuLinks = sequenceUrlLinks.writeUrlsAsString(true); + if (menuLinks.isEmpty()) { Cache.applicationProperties.remove("SEQUENCE_LINKS"); } else { Cache.applicationProperties.setProperty("SEQUENCE_LINKS", - links.toString()); + menuLinks.toString()); } + String nonMenuLinks = sequenceUrlLinks.writeUrlsAsString(false); + if (nonMenuLinks.isEmpty()) + { + Cache.applicationProperties.remove("STORED_LINKS"); + } + else + { + Cache.applicationProperties.setProperty("STORED_LINKS", + nonMenuLinks.toString()); + } + + Cache.applicationProperties.setProperty("DEFAULT_URL", + sequenceUrlLinks.getDefaultUrlId()); + Cache.applicationProperties.setProperty("USE_PROXY", Boolean.toString(useProxy.isSelected()));