JAL-3812 new argument ‘-nohtmltemplates’ and user preference ‘NOHTMLTEMPLATES’ to...

diff --git a/src/jalview/bin/Cache.java b/src/jalview/bin/Cache.java
index 3669117..9e51d67 100755 (executable)
--- a/src/jalview/bin/Cache.java
+++ b/src/jalview/bin/Cache.java
@@ -198,6 +198,9 @@ import jalview.ws.sifts.SiftsSettings;
  * </li>
  * 
  * <li>NONEWS - when set disables Jalview News from automatically appearing</li>
  * </li>
  * 
  * <li>NONEWS - when set disables Jalview News from automatically appearing</li>

+ * <li>NOHTMLTEMPLATES - when set, the
+ * https://github.com/jalview/exporter-templates/tree/master/biojs repository is
+ * not downloaded automatically</li>

  * </ul>
  * Deprecated settings:
  * <ul>
  * </ul>
  * Deprecated settings:
  * <ul>

diff --git a/src/jalview/bin/Jalview.java b/src/jalview/bin/Jalview.java
index a077f95..19de95e 100755 (executable)
--- a/src/jalview/bin/Jalview.java
+++ b/src/jalview/bin/Jalview.java
@@ -381,7 +381,11 @@ public class Jalview
         desktop.checkForNews();
       }
 
         desktop.checkForNews();
       }
 

-      BioJsHTMLOutput.updateBioJS();
+      if (!aparser.contains("nohtmltemplates")
+              || Cache.getProperty("NOHTMLTEMPLATES") == null)
+      {
+        BioJsHTMLOutput.updateBioJS();
+      }

     }
 
     // Move any new getdown-launcher-new.jar into place over old
     }
 
     // Move any new getdown-launcher-new.jar into place over old