From: amwaterhouse <Andrew Waterhouse>
Date: Thu, 2 Jun 2005 11:04:04 +0000 (+0000)
Subject: Name of xml file changed
X-Git-Tag: Release_2_0~124
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=f41bfcf8e262740cb7d31e88c96fe3efb95f270b;p=jalview.git

Name of xml file changed
---

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);
   }