From def10fb2252c67e8256ec1fddc6605e34d760c63 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Wed, 25 Apr 2007 14:06:11 +0000
Subject: [PATCH] fix recent file type bug

---
 src/jalview/io/FileLoader.java |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/jalview/io/FileLoader.java b/src/jalview/io/FileLoader.java
index 4177eab..5f53579 100755
--- a/src/jalview/io/FileLoader.java
+++ b/src/jalview/io/FileLoader.java
@@ -117,7 +117,7 @@ public class FileLoader
 
     jalview.bin.Cache.setProperty(type, newHistory.toString());
 
-    if (type.equals(FormatAdapter.FILE))
+    if (protocol.equals(FormatAdapter.FILE))
     {
       jalview.bin.Cache.setProperty("DEFAULT_FILE_FORMAT", format);
     }
-- 
1.7.10.2