git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
dd4cc87
)
Name of xml file changed
author
amwaterhouse
<Andrew Waterhouse>
Thu, 2 Jun 2005 11:04:04 +0000
(11:04 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Thu, 2 Jun 2005 11:04:04 +0000
(11:04 +0000)
src/jalview/gui/AlignFrame.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/AlignFrame.java
b/src/jalview/gui/AlignFrame.java
index
4b2bdab
..
afb1f0c
100755
(executable)
--- 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"))
{
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
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);
}
addTreeMenuItem(tp, title);
+ viewport.setCurrentTree(tp.getTree());
Desktop.addInternalFrame(tp, title, 600, 500);
}
Desktop.addInternalFrame(tp, title, 600, 500);
}