X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fio%2FJalviewFileFilter.java;h=f19e5ea071d50b782002eaf382f659f674a5ddd5;hb=6813ed412a7820a1695905e9d7608d520b9f45ac;hp=85ac084ad9d5068aee5c65199197d1154f7241e2;hpb=e67588afd890cb74a529a4f69c076456725fead7;p=jalview.git diff --git a/src/jalview/io/JalviewFileFilter.java b/src/jalview/io/JalviewFileFilter.java index 85ac084..f19e5ea 100755 --- a/src/jalview/io/JalviewFileFilter.java +++ b/src/jalview/io/JalviewFileFilter.java @@ -15,26 +15,27 @@ public class JalviewFileFilter extends FileFilter private String fullDescription = "full description"; private boolean useExtensionsInDescription = true; - public JalviewFileFilter() { - this.filters = new Hashtable(); - } - - public JalviewFileFilter(String extension) { - this(extension,null); - } public JalviewFileFilter(String extension, String description) { - this(); - if(extension!=null) addExtension(extension); - if(description!=null) setDescription(description); + + StringTokenizer st = new StringTokenizer(extension, ","); + while(st.hasMoreElements()) + { + addExtension(st.nextToken().trim()); + } + setDescription(description); } public JalviewFileFilter(String[] filts) { this(filts, null); } + public String getAcceptableExtension() + { + return filters.keys().nextElement().toString(); + } + public JalviewFileFilter(String[] filts, String description) { - this(); for (int i = 0; i < filts.length; i++) { // add filters one by one addExtension(filts[i]);