void SpaceReservationManager_AgentChanged(object sender, HexSpaceReservationAgentChangedEventArgs e)
{
if (e.OldAgent == toolTipAgent)
{
spaceReservationManager.AgentChanged -= SpaceReservationManager_AgentChanged;
toolTipAgent = null;
}
}
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();
}
}
