From 98ac89f0dd7993401aea5adbbd124bb970a98ad9 Mon Sep 17 00:00:00 2001 From: Ben Soares Date: Thu, 6 Jun 2024 20:08:18 +0100 Subject: [PATCH] JAL-4420 Added some more filename extensions --- src/jalview/util/ArgParserUtils.java | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/src/jalview/util/ArgParserUtils.java b/src/jalview/util/ArgParserUtils.java index 20230b2..a71b462 100644 --- a/src/jalview/util/ArgParserUtils.java +++ b/src/jalview/util/ArgParserUtils.java @@ -99,8 +99,7 @@ public class ArgParserUtils if (addArgs) { // now we go through the saved associated files and add them back in to - // the - // right places with the appropriate argument + // the right places with the appropriate argument for (String filename : baseInfoMap.keySet()) { BaseInfo bi = baseInfoMap.get(filename); @@ -146,9 +145,9 @@ public class ArgParserUtils } annotationsExtensions = new HashSet<>(); - for (String ext : Cache - .getDefault("ARGPREPROCESSORANNOTATIONSEXTENSIONS", - "annotation,annotations") + for (String ext : Cache.getDefault( + "ARGPREPROCESSORANNOTATIONSEXTENSIONS", + "annotation,annotations,jvannotation,jvannotations,gff,gff2,gff3") .split(",")) { annotationsExtensions.add(ext); @@ -156,7 +155,7 @@ public class ArgParserUtils featuresExtensions = new HashSet<>(); for (String ext : Cache.getDefault("ARGPREPROCESSORFEATURESEXTENSIONS", - "feature,features").split(",")) + "feature,features,jvfeature,jvfeatures").split(",")) { featuresExtensions.add(ext); } -- 1.7.10.2