X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FAlignViewport.java;h=3b7420f80e69c724f6e45ba971ac321859e8c274;hb=a5928e2c1b9e2cea8d9c43f3d03f9cce2604f3b2;hp=90f627ea252e191ded2668f9a29f49b32a40c0bc;hpb=dd27b3a58a81bcf699d547822d37aec77eb00e7e;p=jalview.git diff --git a/src/jalview/gui/AlignViewport.java b/src/jalview/gui/AlignViewport.java index 90f627e..3b7420f 100644 --- a/src/jalview/gui/AlignViewport.java +++ b/src/jalview/gui/AlignViewport.java @@ -340,7 +340,7 @@ public class AlignViewport extends AlignmentViewport viewStyle.setFontName(font.getName()); viewStyle.setFontStyle(font.getStyle()); viewStyle.setFontSize(font.getSize()); - + validCharWidth = true; } @@ -745,6 +745,11 @@ public class AlignViewport extends AlignmentViewport */ public void addFile(File file, FileFormatI format) { + addFile(file, format, true); + } + + public void addFile(File file, FileFormatI format, boolean async) + { DataSourceType protocol = AppletFormatAdapter.checkProtocol(file); if (format == null) @@ -769,7 +774,8 @@ public class AlignViewport extends AlignmentViewport } } - new FileLoader().LoadFile(this, file, DataSourceType.FILE, format); + new FileLoader().LoadFile(this, file, DataSourceType.FILE, format, + async); } public void addFile(File file)