X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fgui%2FAlignViewport.java;h=a8bc815a62a6bbf3c668159bf337095c3ba86922;hb=5640ec0623c6d1205e62f9fe15292f32bfdab7d9;hp=90f627ea252e191ded2668f9a29f49b32a40c0bc;hpb=ae447a3691fb85aaf4e27cd6af8a6e0eb3d50530;p=jalview.git diff --git a/src/jalview/gui/AlignViewport.java b/src/jalview/gui/AlignViewport.java index 90f627e..a8bc815 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) @@ -803,13 +809,10 @@ public class AlignViewport extends AlignmentViewport JvOptionPane dialog = JvOptionPane.newOptionDialog(Desktop.desktop) .setResponseHandler(0, () -> { addDataToAlignment(al); - return null; }).setResponseHandler(1, () -> { us.openLinkedAlignmentAs(al, title, true); - return null; }).setResponseHandler(2, () -> { us.openLinkedAlignmentAs(al, title, false); - return null; }); dialog.showDialog(question, MessageManager.getString("label.open_split_window"), @@ -994,7 +997,7 @@ public class AlignViewport extends AlignmentViewport */ protected boolean noReferencesTo(AlignedCodonFrame acf) { - AlignFrame[] frames = Desktop.getAlignFrames(); + AlignFrame[] frames = Desktop.getDesktopAlignFrames(); if (frames == null) { return true; @@ -1155,4 +1158,5 @@ public class AlignViewport extends AlignmentViewport { this.viewName = viewName; } + }