From f41bfcf8e262740cb7d31e88c96fe3efb95f270b Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Thu, 2 Jun 2005 11:04:04 +0000
Subject: [PATCH] Name of xml file changed

---
 src/jalview/gui/AlignFrame.java |    8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java
index 4b2bdab..afb1f0c 100755
--- a/src/jalview/gui/AlignFrame.java
+++ b/src/jalview/gui/AlignFrame.java
@@ -82,8 +82,11 @@ public class AlignFrame extends GAlignFrame
 
       if (currentFileFormat.equals("Jalview"))
       {
-        String shortName = title.replace('/', '_');
-        title = title.replace('\\', '_');
+        String shortName = title;
+        if(shortName.indexOf(java.io.File.separatorChar)>-1)
+              shortName = shortName.substring(
+                    shortName.lastIndexOf(java.io.File.separatorChar)+1);
+
         String choice = chooser.getSelectedFile().getPath();
         Jalview2XML.SaveState(this, choice, shortName);
         // USE Jalview2XML to save this file
@@ -1090,6 +1093,7 @@ public class AlignFrame extends GAlignFrame
     }
 
    addTreeMenuItem(tp, title);
+   viewport.setCurrentTree(tp.getTree());
 
    Desktop.addInternalFrame(tp, title, 600, 500);
   }
-- 
1.7.10.2