public static void WaitUpdate (TextDocument doc)
{
UpdateWorker[] arr;
lock (updateQueue) {
arr = updateQueue.ToArray ();
}
foreach (UpdateWorker worker in arr) {
try {
if (worker != null && worker.Doc == doc)
worker.ManualResetEvent.WaitOne ();
} catch (Exception e) {
Console.WriteLine (e);
}
}
}