addKeyListener();
- final List<AlignmentPanel> selviews = new ArrayList<>();
+ final List<AlignmentViewPanel> selviews = new ArrayList<>();
final List<AlignmentPanel> origview = new ArrayList<>();
final String menuLabel = MessageManager
.getString("label.copy_format_from");
{
if (parseFeaturesFile(file, sourceType))
{
- alignPanel.paintAlignment(true, true);
SplitFrame splitFrame = (SplitFrame) getSplitViewContainer();
if (splitFrame != null)
{
splitFrame.repaint();
}
+ else
+ {
+ alignPanel.paintAlignment(true, true);
+ }
}
}
else