void undoRedoArea_UndoRedoChanged(object sender, CommandDoneEventArgs e)
{
UpdateUndoRedoActions();
UpdateTitleBar();
if (e.CommandDoneType != CommandDoneType.Commit)
{
// in case the page size was undooed
foreach (DEngine en in engines)
en.PageSize = en.PageSize;
foreach (DEngine de in engines)
de.UpdateViewers();
// check if UserAttrs have changed and update glyphs
foreach (Figure f in de.Figures)
CheckLinkGlyph(f);
// check if a page is renamed
previewBar1.UpdatePreviewNames();
// check if attachments have changed
attachmentView1.UpdateAttachmentView();
}
// check if engines have changed order
previewBar1.MatchPreviewsToEngines(engines, dvEditor);
}
void undoRedoArea_CommandDone(object sender, CommandDoneEventArgs e)
{
if (e.CommandDoneType == CommandDoneType.Undo || e.CommandDoneType == CommandDoneType.Redo)
{
ClearSelected();
UpdateViewers();
}
if (UndoRedoCommandDone != null)
UndoRedoCommandDone(this, e);
if (UndoRedoChanged != null)
UndoRedoChanged(this, e);
}
