public override void Terminate () { Provider.NavigationUpdated -= new NavigationEventHandler (OnNavigationChildrenUpdated); }