pasted file contents should never be added to the recent URL or recent file list.
authorjprocter <Jim Procter>
Tue, 3 Nov 2009 15:27:19 +0000 (15:27 +0000)
committerjprocter <Jim Procter>
Tue, 3 Nov 2009 15:27:19 +0000 (15:27 +0000)
src/jalview/io/FileLoader.java

index bc76e42..06c31a4 100755 (executable)
@@ -173,7 +173,11 @@ public class FileLoader implements Runnable
   public void updateRecentlyOpened()
   {
     Vector recent = new Vector();
-
+    if (protocol.equals(FormatAdapter.PASTE))
+    {
+      // do nothing if the file was pasted in as text... there is no filename to refer to it as.
+      return;
+    }
     String type = protocol.equals(FormatAdapter.FILE) ? "RECENT_FILE"
             : "RECENT_URL";