public void RequestUpdate(TextAreaUpdate update)
{
if (this.updateQueue.Count == 1 && this.updateQueue[0].TextAreaUpdateType == TextAreaUpdateType.WholeTextArea)
{
return;
}
if (update.TextAreaUpdateType == TextAreaUpdateType.WholeTextArea)
{
this.updateQueue.Clear();
}
this.updateQueue.Add(update);
}
public void RequestUpdate(TextAreaUpdate update)
{
if (updateQueue.Count == 1 && updateQueue[0].TextAreaUpdateType == TextAreaUpdateType.WholeTextArea)
{
// if we're going to update the whole text area, we don't need to store detail updates
return;
}
if (update.TextAreaUpdateType == TextAreaUpdateType.WholeTextArea)
{
// if we're going to update the whole text area, we don't need to store detail updates
updateQueue.Clear();
}
updateQueue.Add(update);
}
public void RequestUpdate(TextAreaUpdate update)
{
updateQueue.Add(update);
}
public void RequestUpdate(TextAreaUpdate update)
{
updateQueue.Add(update);
}
