X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fbin%2FCache.java;h=fab075ee6e6f12b1da66cff4d215785b1f4b82b5;hb=3be300f0d9107885e183ae7c86b081c8e6c6780f;hp=f77c2f1c9cfe6af852e4dc9027029418cb991d34;hpb=1cf5b1661d41c1775a297fb084aa1099272c4571;p=jalview.git
diff --git a/src/jalview/bin/Cache.java b/src/jalview/bin/Cache.java
index f77c2f1..fab075e 100755
--- a/src/jalview/bin/Cache.java
+++ b/src/jalview/bin/Cache.java
@@ -17,7 +17,10 @@
*/
package jalview.bin;
+import java.awt.Color;
import java.io.*;
+import java.text.DateFormat;
+import java.text.SimpleDateFormat;
import java.util.*;
import org.apache.log4j.*;
@@ -39,9 +42,6 @@ import org.biojava.dasobert.dasregistry.Das1Source;
*
*
logs.Jalview.Level - Cache.log stringified level.
*
- * DISCOVERY_START - Boolean - controls if discovery services are queried on
- * startup
- * DISCOVERY_URLS - comma separated list of Discovery Service endpoints.
* SCREEN_WIDTH
* SCREEN_HEIGHT
* SCREEN_Y=285
@@ -105,7 +105,7 @@ import org.biojava.dasobert.dasregistry.Das1Source;
* SHOW_MEMUSAGE boolean show memory usage and warning indicator on desktop
* (false)
* VERSION_CHECK (true) check for the latest release version from
- * www.jalview.org
+ * www.jalview.org (or the alias given by the www.jalview.org property)
* SHOW_NPFEATS_TOOLTIP (true) show non-positional features in the Sequence
* ID tooltip
* SHOW_DBREFS_TOOLTIP (true) show Database Cross References in the Sequence
@@ -129,13 +129,20 @@ import org.biojava.dasobert.dasregistry.Das1Source;
*
* SHOW_WSDISCOVERY_ERRORS (true) Controls if the web service URL discovery
* warning dialog box is displayed.
- *
- *
+ * ANNOTATIONCOLOUR_MIN (orange) Shade used for minimum value of annotation when shading by annotation
+ * ANNOTATIONCOLOUR_MAX (red) Shade used for maximum value of annotation when shading by annotation
+ * www.jalview.org (http://www.jalview.org) a property enabling all HTTP requests to be redirected to a mirror of http://www.jalview.org
*
*
*
*
- *
+ * Deprecated settings:
+ *
+ * * - DISCOVERY_START - Boolean - controls if discovery services are queried on
+ * startup (JWS1 services only)
+ * - DISCOVERY_URLS - comma separated list of Discovery Service endpoints. (JWS1 services only)
+ * - SHOW_JWS1_SERVICES (true) enable or disable the original Jalview 2 services in the desktop GUI
+ *
* @author $author$
* @version $Revision$
*/
@@ -328,7 +335,7 @@ public class Cache
System.setProperty("sun.net.client.defaultConnectTimeout",
"5000");
java.net.URL url = new java.net.URL(
- "http://www.jalview.org/webstart/jalview.jnlp");
+ Cache.getDefault("www.jalview.org", "http://www.jalview.org")+"/webstart/jalview.jnlp");
BufferedReader in = new BufferedReader(new InputStreamReader(
url.openStream()));
String line = null;
@@ -726,4 +733,72 @@ public class Cache
}
}
+ /**
+ * get the user's default colour if available
+ * @param property
+ * @param defcolour
+ * @return
+ */
+ public static Color getDefaultColour(String property, Color defcolour)
+ {
+ String colprop = getProperty(property);
+ if (colprop==null) {
+ return defcolour;
+ }
+ Color col = jalview.schemes.ColourSchemeProperty.getAWTColorFromName(colprop);
+ if (col==null)
+ {
+ try {
+ col = new jalview.schemes.UserColourScheme(colprop).findColour('A');
+ } catch (Exception ex)
+ {
+ log.warn("Couldn't parse '"+colprop+"' as a colour for "+property);
+ col=null;
+ }
+ }
+ return (col==null) ? defcolour: col;
+ }
+
+ /**
+ * store a colour as a Jalview user default property
+ * @param property
+ * @param colour
+ */
+ public static void setColourProperty(String property, Color colour)
+ {
+ setProperty(property, jalview.util.Format
+ .getHexString(colour));
+ }
+
+ public static final DateFormat date_format = SimpleDateFormat.getDateTimeInstance();
+
+ /**
+ * store a date in a jalview property
+ * @param string
+ * @param time
+ */
+ public static void setDateProperty(String property, Date time)
+ {
+ setProperty(property, date_format.format(time));
+ }
+ /**
+ * read a date stored in a jalview property
+ * @param property
+ * @return valid date as stored by setDateProperty, or null
+ *
+ */
+ public static Date getDateProperty(String property)
+ {
+ String val = getProperty(property);
+ if (val!=null)
+ {
+ try {
+ return date_format.parse(val);
+ } catch (Exception ex)
+ {
+ System.err.println("Invalid or corrupt date in property '"+property+"' : value was '"+val+"'");
+ }
+ }
+ return null;
+ }
}