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