import java.util.StringTokenizer;
import java.util.Vector;
+import javax.swing.JInternalFrame;
import javax.swing.SwingUtilities;
import jalview.api.ComplexAlignFile;
import jalview.gui.AlignViewport;
import jalview.gui.Desktop;
import jalview.gui.JvOptionPane;
+import jalview.gui.OverviewPanel;
import jalview.json.binding.biojson.v1.ColourSchemeMapper;
import jalview.project.Jalview2XML;
import jalview.schemes.ColourSchemeI;
// that perform queries to find the 'current working alignment'
Desktop.addInternalFrame(alignFrame, title,
AlignFrame.DEFAULT_WIDTH, AlignFrame.DEFAULT_HEIGHT);
+
+ OverviewPanel ov = alignFrame.alignPanel.getOverviewPanel();
+ if (ov != null)
+ {
+ /*
+ * Overview automatically opened with alignment
+ * - set its title now alignFrame title has been set
+ */
+ String ttl = alignFrame.getOverviewTitle();
+ ((JInternalFrame) SwingUtilities
+ .getAncestorOfClass(JInternalFrame.class, ov))
+ .setTitle(ttl);
+ }
+
}
try