void OnWorkAreaChanged(WorkArea newArea) { if (newArea != null) { newArea.Highlight(true); } }
void OnWorkAreaRemoved(WorkArea oldArea) { waitor.actionMap.Clear(); oldArea.Highlight(false); }