void SpaceReservationManager_AgentChanged(object sender, HexSpaceReservationAgentChangedEventArgs e) { if (wpfHexView.IsClosed) return; var sessionState = TryGetSessionState(e.OldAgent); if (sessionState != null) { sessionState.SpaceReservationAgent = null; // Its popup was hidden, so dismiss the session sessionState.Session.Dismiss(); } }
void SpaceReservationManager_AgentChanged(object sender, HexSpaceReservationAgentChangedEventArgs e) { if (e.OldAgent == toolTipAgent) { spaceReservationManager.AgentChanged -= SpaceReservationManager_AgentChanged; toolTipAgent = null; } }