/**
* Triggers a redraw.
*/
void TriggerRedraw() {
trigger.Signal();
}
void Cancel() {
cancelled.Signal();
}
/**
* Triggers thread shutdown. Call Thread::Join() after this to wait
* synchronously for the thread to exit.
*/
void BeginStop() {
stop_trigger.Signal();
}
