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;
}
}
