for (String ext : exts.split(","))
{
ext = ext.trim().toLowerCase(Locale.ROOT);
- extensions.put(ext,
- desc + ("jar".equals(ext) ? " (old)" : ""));
+ extensions.put(ext, desc + ("jar".equals(ext) ? " (old)" : ""));
}
}
}
public String getTypeDescription(File f)
{
String extension = getExtension(f);
-
+
String type = getDescriptionForExtension(extension);
-
+
if (extension != null)
{
if (extensions.containsKey(extension))
}
else
{
- System.err.println(
+ jalview.bin.Console.errPrintln(
"JalviewFileView.createImageIcon: Couldn't find file: "
+ filePath);
}