*/
protected boolean isAlignmentModified()
{
- if (undoredo == null)
+ if (undoredo == null || av==null || av.getAlignment()==null)
{
+ // always return modified if we don't have access to live GUI elements anymore.
return true;
}
if (av.isUndoRedoHashModified(undoredo))
{
-
+ // alignment has been modified in some way.
+ return true;
}
+ // TODO: look deeper into modification of selection state, etc that may affect RestJobThread.realiseResults(boolean merge);
return false;
}