void OnAgentChanged(object sender, SpaceReservationAgentChangedEventArgs e)
{
if (_agent == e.OldAgent)
{
_agent = null;
}
}
void SpaceReservationManager_AgentChanged(object?sender, SpaceReservationAgentChangedEventArgs e)
{
if (e.OldAgent == toolTipAgent)
{
spaceReservationManager.AgentChanged -= SpaceReservationManager_AgentChanged;
toolTipAgent = null;
}
}
void SpaceReservationManager_AgentChanged(object sender, SpaceReservationAgentChangedEventArgs e)
{
if (wpfTextView.IsClosed)
{
return;
}
var sessionState = TryGetSessionState(e.OldAgent);
if (sessionState != null)
{
// Its popup was hidden, so dismiss the session
sessionState.Session.Dismiss();
}
}
private void OnSRManager_AgentChanged(object sender, SpaceReservationAgentChangedEventArgs e)
{
if (_isAttached && (e.OldAgent == this))
{
// When our space reservation agent is removed from the view, wait for the next layout before re-adding the agent.
EventHandler <TextViewLayoutChangedEventArgs> layoutChangedHandler = null;
layoutChangedHandler = delegate(object layoutSender, TextViewLayoutChangedEventArgs layoutArgs)
{
// Make sure to always unsubscribe from the event. Do this first so we're sure not to leak this ref.
ITextView textView = (ITextView)layoutSender;
textView.LayoutChanged -= layoutChangedHandler;
if ((_textView != null) && (this.CurrentLineSRManager != null))
{
this.CurrentLineSRManager.AddAgent(this);
}
};
_textView.LayoutChanged += layoutChangedHandler;
}
}
private void OnSpaceReservationManager_AgentChanged(object sender, SpaceReservationAgentChangedEventArgs e)
{
if (e.NewAgent == null)
{
List <IIntellisenseSession> sessionsToDismiss = new List <IIntellisenseSession>();
foreach (IIntellisenseSession session in _reservationAgentIndex.Keys)
{
// Skip sessions that are being re-hosted.
if (session == _sessionBeingRehosted)
{
continue;
}
if (_reservationAgentIndex[session] == e.OldAgent)
{
// We've just noticed that one of the agents we've put up on-screen has gone away. We need to dismiss
// the session being displayed with this agent.
if (!session.IsDismissed)
{
sessionsToDismiss.Add(session);
}
}
}
// We need to dismiss these outside of the main loop, as dismissing will change the _reservationAgentIndex, which
// will fail the enumeration above.
foreach (IIntellisenseSession session in sessionsToDismiss)
{
session.Dismiss();
}
}
}
void SpaceReservationManager_AgentChanged(object sender, SpaceReservationAgentChangedEventArgs e) {
if (e.OldAgent == toolTipAgent) {
spaceReservationManager.AgentChanged -= SpaceReservationManager_AgentChanged;
toolTipAgent = null;
}
}
void SpaceReservationManager_AgentChanged(object sender, SpaceReservationAgentChangedEventArgs e) {
if (wpfTextView.IsClosed)
return;
var sessionState = TryGetSessionState(e.OldAgent);
if (sessionState != null) {
sessionState.SpaceReservationAgent = null;
// Its popup was hidden, so dismiss the session
sessionState.Session.Dismiss();
}
}
