public virtual void Redo (TextDocument doc, bool fireEvent = true) { doc.Replace (args.Offset, args.RemovalLength, args.InsertedText.Text); if (fireEvent) OnRedoDone (); }