private void Update()
{
Undo.GetRecords(this.newUndos, this.newRedos);
if (!Enumerable.SequenceEqual<string>(this.undos, this.newUndos) || !Enumerable.SequenceEqual<string>(this.redos, this.newRedos))
{
this.undos = new List<string>(this.newUndos);
this.redos = new List<string>(this.newRedos);
base.Repaint();
}
}
}