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); }