JAL-3812 new argument ‘-nohtmltemplates’ and user preference ‘NOHTMLTEMPLATES’ to...
authorJim Procter <jprocter@issues.jalview.org>
Fri, 5 Feb 2021 17:05:03 +0000 (17:05 +0000)
committerJim Procter <jprocter@issues.jalview.org>
Fri, 5 Feb 2021 17:05:03 +0000 (17:05 +0000)
src/jalview/bin/Cache.java
src/jalview/bin/Jalview.java

index 3669117..9e51d67 100755 (executable)
@@ -198,6 +198,9 @@ import jalview.ws.sifts.SiftsSettings;
  * </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>
index a077f95..19de95e 100755 (executable)
@@ -381,7 +381,11 @@ public class Jalview
         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