return true;
AlignFrame[] frames = Desktop.getAlignFrames();
- for (int i = 0; i < frames.length; i++)
+ if (frames != null)
{
- if (frames[i] == null)
- continue;
- if (!frames[i].getViewport().savedUpToDate())
- return false; // at least one alignment is not individually saved
+ for (int i = 0; i < frames.length; i++)
+ {
+ if (frames[i] == null)
+ continue;
+ if (!frames[i].getViewport().savedUpToDate())
+ return false; // at least one alignment is not individually saved
+ }
}
return true;
}