X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FAlignViewport.java;h=a8bc815a62a6bbf3c668159bf337095c3ba86922;hb=HEAD;hp=3b1b1475b696ee765fcf3d5a7fb5f9406534f444;hpb=c91960b43b7acd33dc76b9789bb61bafa05d3d09;p=jalview.git diff --git a/src/jalview/gui/AlignViewport.java b/src/jalview/gui/AlignViewport.java index 3b1b147..a8bc815 100644 --- a/src/jalview/gui/AlignViewport.java +++ b/src/jalview/gui/AlignViewport.java @@ -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) @@ -801,27 +807,12 @@ public class AlignViewport extends AlignmentViewport * in reverse order) */ JvOptionPane dialog = JvOptionPane.newOptionDialog(Desktop.desktop) - .setResponseHandler(0, new Runnable() - { - @Override - public void run() - { - addDataToAlignment(al); - } - }).setResponseHandler(1, new Runnable() - { - @Override - public void run() - { - us.openLinkedAlignmentAs(al, title, true); - } - }).setResponseHandler(2, new Runnable() - { - @Override - public void run() - { - us.openLinkedAlignmentAs(al, title, false); - } + .setResponseHandler(0, () -> { + addDataToAlignment(al); + }).setResponseHandler(1, () -> { + us.openLinkedAlignmentAs(al, title, true); + }).setResponseHandler(2, () -> { + us.openLinkedAlignmentAs(al, title, false); }); dialog.showDialog(question, MessageManager.getString("label.open_split_window"), @@ -1006,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; @@ -1167,4 +1158,5 @@ public class AlignViewport extends AlignmentViewport { this.viewName = viewName; } + }