private void OnAfterBatch(object sender, EventArgs e)
{
if (!Editor.Transaction.HasId)
{
Debug.Assert(!Editor.RefreshFlank.Value);
FileTreeModel.Refresh();
}
else
{
try
{
History.Instance.ExecuteInTransaction(
delegate()
{
FileTreeModel.Refresh();
Editor.RepairPath();
Editor.RefreshFlank.Value = false;
},
Editor.Transaction.CurrentId,
"Document.OnBatchFinished");
}
finally
{
Editor.Transaction.End();
}
}
IsBatchActive.Value = false;
}
