}\r
}\r
}\r
- if (originalSource == null)\r
+ if (originalSource == null && al!=null)\r
{\r
//The original view is closed, we must validate\r
//the current view against the closed view first\r
viewSize++;\r
}\r
\r
- StringBuffer title = new StringBuffer(this.getTitle());\r
+ String title = new String(this.getTitle());\r
if (title.indexOf("(View") > -1)\r
- title.setLength(title.indexOf("(View"));\r
+ title = title.substring(0, title.indexOf("(View"));\r
\r
- title.append("(View ");\r
- title.append(viewSize);\r
- title.append(")");\r
+ title+= "(View "+viewSize+")";\r
\r
newaf.setTitle(title.toString());\r
\r
AlignmentI al = editCommand.getAlignment();
Vector comps = (Vector) PaintRefresher.components
.get(viewport.getSequenceSetId());
+ System.out.println(comps.size());
for (int i = 0; i < comps.size(); i++)
{
if (comps.elementAt(i) instanceof AlignmentPanel)
}
}
}
- if (originalSource == null)
+ if (originalSource == null && al!=null)
{
//The original view is closed, we must validate
//the current view against the closed view first