From a282e50f4076e9ec6da6a0500df2c80652a2353d Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Mon, 6 Nov 2006 14:00:42 +0000 Subject: [PATCH] Remember fileName in alignFrame --- src/jalview/bin/Jalview.java | 6 ++++-- src/jalview/io/FileLoader.java | 2 ++ 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/src/jalview/bin/Jalview.java b/src/jalview/bin/Jalview.java index 5bc98b1..1116fe4 100755 --- a/src/jalview/bin/Jalview.java +++ b/src/jalview/bin/Jalview.java @@ -280,13 +280,15 @@ public class Jalview if (file.endsWith(".jar")) { - new Jalview2XML().LoadJalviewAlign(file); + format = "Jalview"; } else { format = new jalview.io.IdentifyFile().Identify(file, protocol); - new jalview.io.FileLoader().LoadFile(file, protocol, format); } + + fileLoader.LoadFile(file, protocol, format); + } } } diff --git a/src/jalview/io/FileLoader.java b/src/jalview/io/FileLoader.java index 7fa4fda..0897207 100755 --- a/src/jalview/io/FileLoader.java +++ b/src/jalview/io/FileLoader.java @@ -214,6 +214,8 @@ public class FileLoader implements Runnable if (alignFrame != null) { + alignFrame.fileName = file; + alignFrame.currentFileFormat = format; updateRecentlyOpened(); } } -- 1.7.10.2